search

triska / clpz

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

Copied scryer PR #2258 #29

Closed jeshan closed 8 months ago

jeshan commented 8 months ago

Fixes #26. Copied directly from https://github.com/mthom/scryer-prolog/pull/2258 (with fork differences). Please review.