Minimal Logic Extension



Description Offline Online
Benchmark CLP(FD) Results PDF HTML
Reference Compliance HTML
Frequent Compliance HTML


Concerning performance, we already did some extensive testing of CLP(FD). Further we regularly execute test cases, that assure the quality of the minimal logic extension. The test cases examine the validity of the constraint solvers, as well as the validity of the computer algebra system.