From: Mark Thom Date: Wed, 12 Aug 2020 19:59:51 +0000 (-0300) Subject: Merge pull request #671 from triska/clpb_restriction X-Git-Tag: v0.9.0~174^2~11 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=32eaab078354f79d6ad090740083d257d94eff01;p=scryer-prolog.git Merge pull request #671 from triska/clpb_restriction FIXED: CLP(B): Delay BDD restriction until after the instantiation. --- 32eaab078354f79d6ad090740083d257d94eff01