- Referenced in 565 articles
- An extensible SAT-solver. MiniSat is a minimalistic...
- Referenced in 91 articles
- CSPLib is a library of test problems for...
- Referenced in 65 articles
- CHOCO is a java library for constraint satisfaction...
- Referenced in 85 articles
- MiniZinc is a medium-level constraint modelling language...
- Referenced in 4187 articles
- The On-Line Encyclopedia of Integer Sequence. The...
- Referenced in 4 articles
- FaCiLe: A functional constraint library. FaCiLe is a...