From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 16 Oct 2019 05:45:21 +0000 (-0300)
Subject: Merge pull request #204 from triska/master
X-Git-Tag: v0.8.111~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=1557e4705a284ef2d0a231a306def8c7f18507bb;p=scryer-prolog.git

Merge pull request #204 from triska/master

ADDED: CLP(B), Constraint Logic Programming over Boolean Variables
---

1557e4705a284ef2d0a231a306def8c7f18507bb