]> Repositorios git - scryer-prolog.git/commit
Merge pull request #312 from triska/master
authorMark Thom <[email protected]>
Mon, 6 Apr 2020 00:14:11 +0000 (21:14 -0300)
committerGitHub <[email protected]>
Mon, 6 Apr 2020 00:14:11 +0000 (21:14 -0300)
commit2e5ce0249e63d646669422f4374db6df0ead3b2d
treea96af36d1e80c3a4e7c22a823fdadfa065202dda
parent560298655b4bc6275771e364bd10b13521d6a642
parent8b1df2e9ca30bce8f26cfd9e93e58116b12579d0
Merge pull request #312 from triska/master

ADDED: CLP(ℤ), Constraint Logic Programming over Integers