Skip to content

Commit 1d530fc

Browse files
Add a brief description to the Constraint Satisfaction Problem Solver section
1 parent fdaadad commit 1d530fc

1 file changed

Lines changed: 2 additions & 0 deletions

File tree

README.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -103,6 +103,8 @@ A curated list of awesome Java frameworks, libraries and software. Inspired by o
103103

104104
## Constraint Satisfaction Problem Solver
105105

106+
*Libraries that help on implementing optimization and satisfiability problems.*
107+
106108
* [Choco](http://choco-solver.org/) - An off-the-shelf constraint satisfaction problem solver, which uses constraint programming techniques to solve constraint satisfaction problems.
107109
* [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.
108110
* [OptaPlanner](http://www.optaplanner.org/) - A business planning and resource scheduling optimization solver.

0 commit comments

Comments
 (0)