Examination schedule semi-automatic generator, based on logical hard/soft constraints. A presentation of the general functionality of the application can be checked here, and a comprehensive documentation can be accessed here.
In order to run the project, this Z3 SMT solver is needed.
For python it needs to be installed with: pip3 install z3-solver
If PyCharm is used as an IDE, the virtual environment (venv) needs to be first turned off, with the deactivate command.