issues
search
ridgeworks
/
clpBNR
CLP(BNR) module for SWI-Prolog
MIT License
37
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Support SWIPL 9.1.2 ?
#28
JBThiel
opened
1 month ago
12
FIXED: Avoid instantiation of attributed variables in term_html:portray//2
#27
JanWielemaker
closed
2 months ago
5
FIXED: Avoid infinite recursion if a query returns an attributed vari…
#26
JanWielemaker
closed
3 months ago
0
Added index.json to avoid examples in the main menu
#25
JanWielemaker
closed
3 months ago
0
Two more issues
#24
JanWielemaker
closed
4 months ago
9
CLEANUP: Make check/0 silent.
#23
JanWielemaker
closed
4 months ago
1
Misc
#22
JanWielemaker
closed
5 months ago
15
bug with graphical debugger
#21
kwon-young
closed
8 months ago
6
Not equal seems to always fail
#20
AKEOPLUS-boris-bocquet
opened
11 months ago
3
Feature enhancement : subsampling the answer space
#19
AKEOPLUS-boris-bocquet
closed
11 months ago
10
Feature Request: Show interval range in graphical debugger
#18
kwon-young
closed
1 year ago
4
upgrading to 0.11.0 broken
#17
kwon-young
closed
1 year ago
2
Impossible comparison succeeds
#16
brebs-gh
opened
1 year ago
1
How to cite your work?
#15
Rscho314
closed
1 year ago
1
{2**X==1}. gives false
#14
kwon-young
closed
2 years ago
4
Fix neg primitive
#13
ridgeworks
closed
2 years ago
1
v0.9.8 alpha
#12
ridgeworks
closed
2 years ago
0
{2==X*X},solve(X). Wrong Answer
#11
JIM-GLITCH
closed
2 years ago
4
Single / double colon syntax
#10
jacobfriedman
closed
2 years ago
5
Patent / Copyright
#9
jacobfriedman
closed
2 years ago
3
Packify
#8
JanWielemaker
closed
3 years ago
2
global_maximum/2
#7
JeanChristopheRohner
closed
3 years ago
12
Not getting expected solution with global_minimum/2
#6
JeanChristopheRohner
closed
3 years ago
4
Infinite loop and crash with write_term/2
#5
JeanChristopheRohner
closed
3 years ago
4
"Output" predicate
#4
JeanChristopheRohner
closed
3 years ago
7
The behavior of numbervars/4, binding interval solutions
#3
JeanChristopheRohner
closed
3 years ago
5
Documentation for global_maximum/2 etc?
#2
JeanChristopheRohner
closed
3 years ago
12
BNR Prolog
#1
jchharris
closed
3 years ago
3