Hello there,

We added Gledos to tropyc. Let us know if you have any feedback or suggestions!

Thank you very much for adding us to your platform and letting us know about it!