]> Repositorios git - scryer-prolog.git/commitdiff
projects / scryer-prolog.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 7b8c8fd 1f3de74)
Merge pull request #2278 from notoria/clpz
authorMark Thom <[email protected]>
Mon, 8 Jan 2024 01:59:38 +0000 (18:59 -0700)
committerGitHub <[email protected]>
Mon, 8 Jan 2024 01:59:38 +0000 (18:59 -0700)
Small fixes for `CLP(ℤ)`

1  2 
src/lib/clpz.pl patch | diff1 | diff2 | blob | history

diff --cc src/lib/clpz.pl
Simple merge
FORK: A modern Prolog implementation written mostly in Rust