Constraint Satisfaction Problem Solver Engine OverviewThe CSP solver engine is a primary component for implementing the OPL language and was the first major item developed within the context of the JOpt project.
The CSP engine in the JOpt project is based on the concept of Arc-Consistency. In the future, jOpt might allow other CSP engines based on new (or simply different) technologies to be plugged into the project in place of the Arc-Consistency-based engine, but Arc-Consistency currently provides the most powerful and most practical solution finding methodology.
The Arc-Consistency engine consists of constraint logic tools and searching tools.
The following diagram gives an overview of the Arc-Consistency-related components packages within the jOpt project.