Samuel Gagnon's repositories
Language:Common Lisp000
gecode
Generic Constraint Development Environment
Language:C++NOASSERTION000
gecode-5-cbs
Modification of Gecode v5 kernel to support counting base search heuristics
Language:C000
minizinc-doc
MiniZinc documentation
Language:C++000
Language:Common Lisp000