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
triska
clpz triska
15
189
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 11 months ago