Javadoc for package XXX
Packages
Package
Description
A constraint logic programming library for finite domains.
Contains boolean constraints.
Contains constraints which compare numeric values represented by instances of
Expression.Contains classes that perform arithmetic operators using instances of
Expression.