2 results found Sort:

hakank
hakank hakank
76
368
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
587 commits to master branch, last one about a month ago
triska
clpz triska
15
185
unknown
11
Constraint Logic Programming over Integers
clp prolog constraints sicstus-prolog integer-arithmetic constraint-programming
Created 2016-04-17
35 commits to master branch, last one 10 months ago