From: Mark Thom Date: Mon, 31 Jul 2023 20:52:34 +0000 (-0600) Subject: Merge pull request #1938 from triska/remove_auxiliary_constraints X-Git-Tag: v0.9.2~17 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=02328d818cf678b83fb38f4e9e51ae6aede4bbaa;p=scryer-prolog.git Merge pull request #1938 from triska/remove_auxiliary_constraints ENHANCED: forget auxiliary constraints set up by the propagator for multiplication --- 02328d818cf678b83fb38f4e9e51ae6aede4bbaa