]> Repositorios git - scryer-prolog.git/commit
Merge pull request #1724 from triska/clpz_corrections
authorMark Thom <[email protected]>
Sat, 28 Jan 2023 19:11:48 +0000 (20:11 +0100)
committerGitHub <[email protected]>
Sat, 28 Jan 2023 19:11:48 +0000 (20:11 +0100)
commitac0cea8a73f7a6776d442c0e5de5e5b33a3fb8b1
tree028c3dc53ae46f73e2901c98ecdd443b22a62275
parent2bdba261eae019a7841ef420d7db2bdfaee7f273
parent814b631543fc83e1829789e6c36d86c84860eb2f
Merge pull request #1724 from triska/clpz_corrections

CLP(ℤ) corrections