https://github.com/hakank/hakank

My public programs and models - mostly combinatorial problems and puzzles

ampl answer-set-programming choco comet constraint-programming constraint-satisfaction eclipse-clp essence frink gecode jacop jgap minizinc numberjack picat poplog prolog setl sicstus-prolog z3py

Last synced: 09 Apr 2025