From: Mark Thom Date: Sat, 4 Jan 2025 20:26:08 +0000 (-0700) Subject: Merge pull request #2742 from triska/clpb X-Git-Tag: v0.10.0~82 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=2856cc4371a344163f02d954b13083b8dd394e54;p=scryer-prolog.git Merge pull request #2742 from triska/clpb Revert "FIXED: CLP(B): Delay BDD restriction until after the instantiation" --- 2856cc4371a344163f02d954b13083b8dd394e54