Minimal Logic Extension

Studies

Files

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

Description

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.