Overview
A program to resolve the Allocation Frequency problem using two different modelisations (school project, Model and Resolution for Optimization class, 2018):
- A COP (Constraint Optimization Problem) modelisation using the XCSP3 format from XCSP3-Java-Tools ;
- A valued CSP (Constraint Satisfaction Problem) modelisation using the WCSP (Weighted Constraint Satisfaction Problem) format.
The generated instances are solved with choco solver (2017 version) for XCSP3 instances and with toulbar2 for WCSP instances.
References
- Presentation of XCSP3 format and Documentation of XCSP3 format
- Documentation of WCSP format
- toulbar2 solver site
- choco solver site
Authors
- Charly Lamothe
- Guillaume Ollier