From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 9 Mar 2021 19:33:06 +0000 (-0700)
Subject: Merge pull request #862 from notoria/xor
X-Git-Tag: v0.9.0~133
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=ceac824e2bfaa7b0651650b358113bdfc819b53c;p=scryer-prolog.git

Merge pull request #862 from notoria/xor

Implemented a propagator for xor in CLP(Z)
---

ceac824e2bfaa7b0651650b358113bdfc819b53c