Programming Languages
|
Programming Languages
|
|
| Languages > Constraint |
| Categories |
|
Constraint Logic Oz-Mozart Prolog Screamer |
|
| Gecode
Generic Constraint Development Environment. Constraint solver implemented as C++ library. Main goals: modifiability, extensibility, speed. Features: integer and set variables, large constraint set, copying-based search. [Open Source, BSD] |
| Choco
Java library for constraint satisfaction problems (CSP), constraint programming (CP), explanation-based constraint solving (e-CP). Built on event-based propagation mechanism with backtrackable structures. [Open Source, BSD] |
| E-constraints.net
Home of Explanation-based Constraint Programming. Definitions, applications, libraries, links. |
The content of the websy directory is based on the Open Directory and is enhanced using Websy's own technology.
Copyright © 2002-2006, websy.net All Rights Reserved.