Re: New KiCS2 release available

From: Michael Hanus <>
Date: Tue, 12 Aug 2014 19:04:24 +0200

On 11.08.2014 12:38, wrote:
> Can we expect that KiCS2 will get CLP libraries?

We are working on it but one cannot expect CLP libraries
as in PAKCS (Boolean, real arithmetic, FD constraints).
We worked on integrating FD constraints in KiCS2 by connecting
external constraint solvers, see

Unfortunately, this implementation could have a negative
influence on the run-time system, even if FD constraints
are not used. Therefore, this is not in the current
main branch but we are looking for alternatives.
Definitely, FD constraints are an important issue so that
we look for options to include them into KiCS2.

Best regards,


curry mailing list

Received on Di Aug 12 2014 - 19:04:53 CEST

This archive was generated by hypermail 2.3.0 : Do Mai 23 2024 - 07:15:12 CEST