gaspersic/awesome-java
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Add a brief description to the Constraint Satisfaction Problem Solver section

Browse Source
This commit is contained in:
Alessandro Leite
2015-05-08 18:26:35 +02:00
parent fdaadad7b9
commit 1d530fcf96
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -103,6 +103,8 @@ A curated list of awesome Java frameworks, libraries and software. Inspired by o
## Constraint Satisfaction Problem Solver ## Constraint Satisfaction Problem Solver
*Libraries that help on implementing optimization and satisfiability problems.*
* [Choco](http://choco-solver.org/) - An off-the-shelf constraint satisfaction problem solver, which uses constraint programming techniques to solve constraint satisfaction problems. * [Choco](http://choco-solver.org/) - An off-the-shelf constraint satisfaction problem solver, which uses constraint programming techniques to solve constraint satisfaction problems.
* [JaCoP](https://github.com/radsz/jacop/) - A constraint programming solver that includes an interface for the [FlatZinc language](https://www.minizinc.org/downloads/doc-1.6/flatzinc-spec.pdf), enabling it to execute [MiniZinc](http://www.minizinc.org/) models. * [JaCoP](https://github.com/radsz/jacop/) - A constraint programming solver that includes an interface for the [FlatZinc language](https://www.minizinc.org/downloads/doc-1.6/flatzinc-spec.pdf), enabling it to execute [MiniZinc](http://www.minizinc.org/) models.
* [OptaPlanner](http://www.optaplanner.org/) - A business planning and resource scheduling optimization solver. * [OptaPlanner](http://www.optaplanner.org/) - A business planning and resource scheduling optimization solver.