]> Repositorios git - scryer-prolog.git/commit
Merge pull request #1938 from triska/remove_auxiliary_constraints
authorMark Thom <[email protected]>
Mon, 31 Jul 2023 20:52:34 +0000 (14:52 -0600)
committerGitHub <[email protected]>
Mon, 31 Jul 2023 20:52:34 +0000 (14:52 -0600)
commit02328d818cf678b83fb38f4e9e51ae6aede4bbaa
tree092c6cc5f8bb47c096fa2bf9486ae9be5451d304
parent0f55ba721879189d37da6f51a822d739e22a1367
parent54a887cdc37982a18f363a56edfce9583db7ab95
Merge pull request #1938 from triska/remove_auxiliary_constraints

ENHANCED: forget auxiliary constraints set up by the propagator for multiplication