search

triska / clpz

Constraint Logic Programming over Integers
https://www.metalevel.at/prolog/clpz
178 stars 14 forks source link

Faraway bug #18

Closed ghost closed 2 years ago

ghost commented 2 years ago

It seems this bug is caused by: https://github.com/triska/clpz/blob/78fcfe1b6b36c5adca8c9b3ce4d4263f235645e4/clpz.pl#L5126

It should be { YInf cis_gt XSup }.