2 results found Sort:

chocoteam
choco-solver chocoteam
137
687
bsd-4-clause
49
An open-source Java library for Constraint Programming
csp copr java solver constraints constraint-solver constraint-programming constraint-optimisation-problem constraint-satisfaction-problem
Created 2011-11-04
6,330 commits to master branch, last one 7 days ago
xgillard
ddo xgillard
5
55
mit
4
DDO a generic and efficient framework for MDD-based optimization.
ddo decision-diagrams operations-research discrete-optimization constraint-programming constraint-optimisation-problem constraint-satisfaction-problem
Created 2020-02-21
445 commits to master branch, last one about a month ago