Factor/GSoC/2010/CSP

idea: a constraint solving library with a nice declarative syntax similar to the Oz language.

could be a binding to gecode with swig, or freshly started with engines added later on.

A backtracking engine is already available, but no declarative api exists for it.

Create an api and use the backtracking engine to implement its features.

Later on, you can add other engines in order to provide a better matching or better efficiency for other use cases.

This revision created on Fri, 12 Mar 2010 15:46:06 by kobi