3 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
Gecode
gecode Gecode
76
283
other
25
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