Software used in the Course
- Finite Domains: To install Choco, download the Choco Solver from the website (http://www.choco-solver.org) to get a zip file (4.10.1.zip) which contains file choco-solver-4.10.0.jar (a ready-to-use jar file that enables the modelling and solving of CP problems, and apidocs-4.10.0.zip, the Javadoc of Choco-4.10.0.
- Alternatively, students may use the Comet System, although being discontinued. 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 license 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