ridgeworks/clpBNR

Issues

• Support SWIPL 9.1.2 ?

  #28 opened 5 months ago by JBThiel
  12

• bug with graphical debugger

  #21 opened a year ago by kwon-young
  6

• Not equal seems to always fail

  #20 opened a year ago by AKEOPLUS-boris-bocquet
  3

• Feature enhancement : subsampling the answer space

  #19 opened a year ago by AKEOPLUS-boris-bocquet
  10

• Feature Request: Show interval range in graphical debugger

  #18 opened a year ago by kwon-young
  4

• upgrading to 0.11.0 broken

  #17 opened 2 years ago by kwon-young
  2

• Impossible comparison succeeds

  #16 opened 2 years ago by brebs-gh
  1

• How to cite your work?

  #15 opened 2 years ago by Rscho314
  1

• {2**X==1}. gives false

  #14 opened 2 years ago by kwon-young
  4

• {2==X*X},solve(X). Wrong Answer

  #11 opened 3 years ago by JIM-GLITCH
  4

• Single / double colon syntax

  #10 opened 3 years ago by jacobfriedman
  5

• Patent / Copyright

  #9 opened 3 years ago by jacobfriedman
  3

• Documentation for global_maximum/2 etc?

  #2 opened 4 years ago by JeanChristopheRohner
  12

• global_maximum/2

  #7 opened 4 years ago by JeanChristopheRohner
  12

• Not getting expected solution with global_minimum/2

  #6 opened 4 years ago by JeanChristopheRohner
  4

• BNR Prolog

  #1 opened 4 years ago by jchharris
  3

• Infinite loop and crash with write_term/2

  #5 opened 4 years ago by JeanChristopheRohner
  4

• "Output" predicate

  #4 opened 4 years ago by JeanChristopheRohner
  7

• The behavior of numbervars/4, binding interval solutions

  #3 opened 4 years ago by JeanChristopheRohner
  5