search

triska / clpz

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

Loop in propagation of exponentiation #1

Closed triska closed 8 years ago

triska commented 8 years ago

Witness:

?- 2 #= -1 ^Z.
triska commented 8 years ago

Fixed in most recent version.