New opensource constraint solver

The jOpt open source optimization project has just released the beta
version 1.0 of its CSP constraint solver.

Here's a quick summary of features
- Finite integer numeric variables
- Floating point numeric variables
- Integer set variables
- Numeric, boolean, trigonometric, and set constraints, etc.
- Generic constraints such as summations, indexed variables (similar to
having subscripts on a variable), all-different, etc.

Lots of searching capabilities:
- DFS, BFS
- Different memory models for tracking the data during searches
- Ability to define actions that will produce a search tree that are
navigated by search techniques such as the order variables are selected
for generation and how values are assigned
- Local Neighborhood Search techniques

For more information please visit: http://jopt.sourceforge.net

.