Description
A functional constraint programming library. Developers use it to model problems where values must satisfy a set of rules, such as scheduling, planning, allocation, or logic-based search.
Use it when building software that needs constraint solving as part of its logic. It is a developer library and is not useful as a standalone end-user application.