New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

swipl clpq/clpfd bugs #13

Open

koo5 opened this issue Apr 6, 2020 · 1 comment

Collaborator

koo5 commented Apr 6, 2020

see misc/clpq_bugs

try right swipl version:
7.1.32-11-gd0a4fc0
triska/clpz#7

investigate switching to sicstus:
https://sicstus.sics.se/sicstus/docs/latest4/html/sicstus.html/lib_002dfdbg.html#lib_002dfdbg
http://contraintes.inria.fr/~fages/CLPGUI/
clpz vs sicstus clpfd?

koo5 transferred this issue from another repository

UWN commented Jul 2, 2022

clpz vs sicstus clpfd?

Note that clpz runs also with SICStus.

koo5 pushed a commit that referenced this issue


          Bump semver from 6.3.0 to 6.3.1 in /research/json-ld/test1 (#13)

8f812e2

Bumps [semver](https://github.com/npm/node-semver) from 6.3.0 to 6.3.1.
- [Release notes](https://github.com/npm/node-semver/releases)
- [Changelog](https://github.com/npm/node-semver/blob/v6.3.1/CHANGELOG.md)
- [Commits](npm/node-semver@v6.3.0...v6.3.1)

---
updated-dependencies:
- dependency-name: semver
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment