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.