Revision as of 17:29, 30 August 2005 edit Jpbowen (talk \| contribs) Extended confirmed users, Pending changes reviewers 83,139 edits mNo edit summary ← Previous edit		Revision as of 16:56, 31 August 2005 edit undo 82.120.58.112 (talk) No edit summary Next edit →
Line 28: [http://www.mozart-oz.org/ Mozart] ([[Oz programming language\|Oz]] based) [http://www.sics.se/isl/sicstuswww/site/index.html SICStus] ([[Prolog]] based) *[http://www.koalog.com/ Koalog Constraint Solver] ([[Java programming language\|Java]] based) Finite ___domain solvers are useful for solving [[Constraint satisfaction problem\|Constraint satisfaction problems]], and are often based on Arc-Consistency (see [[AC-3 algorithm]]), or one of its approximations.

Constraint programming: Difference between revisions