The declarative, domain-specific language ConStrukt allows the specification of the problems.
Code generation of problem-specific interfaces provides easy and quick integration of the ConSolve® runtime system in software applications.
A special shell allows interactive working without the application software.
A tool for the analysis of the search process is provided.
Runtime environment
The efficient runtime system makes use of several constraint based techniques to search for a solution.
Intermediate results of the search process can be shown up.
Changes of the problem specification are supported during runtime.
It is possible to analyse intermediate results or externally provided solutions.
During the search process an abort with an intermediate result is possible at any time.
Constraint techniques
Symbolic value ranges and sets of numbers (integers, floating point) can be processed.
Hard, weighted and fuzzy constraints are supported.
Several pre-defined global constraints are available.
The following search algorithms are available:
Branch and Bound tree search with or without Backmarking.
Programmable local search.
The following forms of constraint propagation are supported:
Extended forward checking.
Inverse arc consistency (fixpoint of the propagation).
Prerequisites
The ConSolve development system and the runtime environment support the following operating systems: Microsoft Windows 9x, ME, NT, 2000 or XP; Linux and UNIX (Apple Macintosh in preparation).
The ConSolve runtime system can be used merged into each programming environment with a C or C++ interface.
About
