Summary
Description of the domain-specific language for modelling constraint problems, where the functional aspect of constraints is made explicit. At least one implementation and compilation to a concrete solver like Choco, SWI Prolog or SICStus.
More information & hyperlinks
Search
Organisations
- Not specified