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
Nov 21, 2024 - JavaScript