clp-pakcs: CLP libraries for PAKCS
==================================

This package contains libraries for constraint logic programming.
with real arithmetic and finite domain constraints.
The implementation is based on the CLP libraries of Prolog
so that this package can only be used with PAKCS.

--------------------------------------------------------------------------