Software used in the Course
- Finite Domains: To install Choco, go to the Choco Solver website (http://www.choco-solver.org) or directly from the github (https://github.com/chocoteam/choco-solver), to get a number of jar files (choco-parsers-4.10.4-jar-with-dependencies, choco-parsers-4.10.4-sources, choco-parsers-4.10.4, choco-solver-4.10.4-jar-with-dependencies, choco-solver-4.10.4-sources, choco-solver-4.10.4-sources) that enable the modelling and solving of CP problems. The site also provides online documentation and tutorials.
- 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