]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1973 from triska/clpz
authorMark Thom <[email protected]>
Tue, 22 Aug 2023 21:04:33 +0000 (15:04 -0600)
committerGitHub <[email protected]>
Tue, 22 Aug 2023 21:04:33 +0000 (15:04 -0600)
CLP(ℤ) improvements, notably related to queue handling


Trivial merge