This project uses Mantis to manage its issues.
Issues, bugs, and feature requests should be submitted to the following issue tracking system for this project.
https://artemis.ms.mff.cuni.cz/pogamut_mantis/