2 results found Sort:

hakank
hakank hakank
76
375
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
608 commits to master branch, last one 2 months ago
triska
clpz triska
16
192
unknown
10
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 about a year ago