]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ca28c76) | patch
ENHANCED: forget auxiliary constraints set up by the propagator for multiplication
authorMarkus Triska <[email protected]>
Mon, 31 Jul 2023 19:57:25 +0000 (21:57 +0200)
committerMarkus Triska <[email protected]>
Mon, 31 Jul 2023 19:57:25 +0000 (21:57 +0200)
commit54a887cdc37982a18f363a56edfce9583db7ab95
tree53f8f0067fe7d0a27169509d577aa1f9920bfccatree | snapshot
parentca28c76e522163e291c8338eee74061ecf2b5129commit | diff
ENHANCED: forget auxiliary constraints set up by the propagator for multiplication

This addresses the issue raised in https://github.com/mthom/scryer-prolog/discussions/1937.
src/lib/clpz.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust