2 results found Sort:

hakank
hakank hakank
76
370
mit
45
My public programs and models - mostly combinatorial problems and puzzles
ampl jgap setl z3py choco comet frink jacop picat gecode poplog prolog essence minizinc numberjack eclipse-clp sicstus-prolog answer-set-programming constraint-programming constraint-satisfaction
Created 2013-08-06
605 commits to master branch, last one 2 days ago
obijywk
grilops obijywk
6
69
mit
9
a GRId LOgic Puzzle Solver library
z3 z3py python python3 puzzle-hunt puzzle-solver sudoku-solver puzzle-generator constraint-solver
Created 2019-03-09
200 commits to master branch, last one about a year ago