3 results found Sort:

hakank
hakank hakank
76
364
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 3 days ago
Gecode
gecode Gecode
76
275
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 5 years ago
davecom
SwiftCSP davecom
11
81
apache-2.0
6
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