The clpq and clpr libraries are‘orphaned’, i.e., they
currently have no maintainer.
- Top-level output
The top-level output may contain variables not present in the original
query:
?- {X+Y>=1}.
{Y=1-X+_G2160, _G2160>=0}.
?-
Nonetheless, for linear constraints this kind of answer means
unconditional satisfiability.
- Dumping constraints
The first argument of dump/3
has to be a list of free variables at call-time:
?- {X=1},dump([X],[Y],L).
ERROR: Unhandled exception: Unknown message:
instantiation_error(dump([1],[_G11],_G6),1)
?-
