search

ridgeworks / clpBNR

CLP(BNR) module for SWI-Prolog
MIT License
38 stars 5 forks source link

v0.9.8 alpha #12

Closed ridgeworks closed 2 years ago

ridgeworks commented 2 years ago

v0.9.8 alpha

  1. Bug fix for power primitive triggered by https://github.com/ridgeworks/clpBNR/issues/11
  2. Bug fix to simplify to avoid spurious unification failure debug messages.
  3. Minor cleanups to user guide.