3 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 3 months ago
Gecode
gecode Gecode
77
288
other
24
Generic Constraint Development Environment
constraint-solver constraint-programming constraint-propagation constraint-satisfaction constrained-optimization constraint-satisfaction-problem
Created 2015-11-06
5,620 commits to master branch, last one 6 years ago
davecom
SwiftCSP davecom
11
82
apache-2.0
5
A Constraint Satisfaction Problem Solver in Pure Swift
swift map-coloring sudoku-solver eight-queen-problem eight-queens-puzzle constraint-satisfaction constraint-satisfaction-problem
Created 2015-07-22
69 commits to master branch, last one 2 years ago