2 results found Sort:

chocoteam
choco-solver chocoteam
147
712
bsd-4-clause
47
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,582 commits to master branch, last one about a month ago
xgillard
ddo xgillard
7
61
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
447 commits to master branch, last one 3 months ago