clp(QR) examples and tests (anyone has contact with Christian?)

I’ve pushed a new repository with examples from clp(QR) that I found in the old Prolog Commons repo as well as in a copy of SICStus. This repo has been updated to include the appropriate library as well as some other minor cleanup. I’ve also added test files. This at least provides some basic testing for this library.

Unfortunately this code has a rather unclear license, so I cannot include it into the source repo. If you have contacts that may help resolving this, either through Christian or his old OFAI institute, please help.

See GitHub - SWI-Prolog/clpqr-examples: Examples and test cases for clp(QR)

2 Likes