This repository was archived by the owner on Feb 27, 2020. It is now read-only.
- Notifications
You must be signed in to change notification settings - Fork0
A program to resolve the Allocation Frequency problem using two different modelisations (COP and valued CSP)
License
NotificationsYou must be signed in to change notification settings
swasun/FrequencyAllocationProblem
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
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.
- Presentation of XCSP3 format andDocumentation of XCSP3 format
- Documentation of WCSP format
- toulbar2 solver site
- choco solver site
- Charly Lamothe
- Guillaume Ollier
About
A program to resolve the Allocation Frequency problem using two different modelisations (COP and valued CSP)
Topics
Resources
License
Uh oh!
There was an error while loading.Please reload this page.
Stars
Watchers
Forks
Releases
No releases published
Packages0
No packages published