Software used in the Course
- Finite Domains: classes will adopt the Comet System, although other solvers, namely MiniZinc, can be used as and alternative.The tool can be installed in students’ computers (Windows and Mac), exclusively for academic purposes. Upon installation, pdf and html manuals become available. To run Comet a licence file must be installed. Ask the lecturer for a permanent file.
- Continuous Domains: students will mostly a library with basic constraint propagators that should be used to develop the propagation methods studied in the classes. Again, this tool should be installed in students’ computers, exclusively for academic purposes