issues
search
ridgeworks
/
clpBNR
CLP(BNR) module for SWI-Prolog
MIT License
38
stars
5
forks
source link
Fix neg primitive
#13
Closed
ridgeworks
closed
2 years ago
ridgeworks
commented
2 years ago
v0.9.8 alpha
Bug fix for power primitive triggered by
https://github.com/ridgeworks/clpBNR/issues/11
Bug fix to simplify to avoid spurious unification failure debug messages.
Minor cleanups to user guide.
ridgeworks
commented
2 years ago
Fixed in v0.9.9
v0.9.8 alpha