My public programs and models - mostly combinatorial problems and puzzles
comet ampl prolog choco constraint-programming constraint-satisfaction sicstus-prolog minizinc answer-set-programming gecode essence numberjack setl picat z3py eclipse-clp jacop jgap frink poplog
-
Updated
Dec 25, 2024 - JavaScript