Issues
- 3
- 5
Integration with `library(reif)`?
#12 opened by Qqwy - 7
How to get changes in scryer's fork?
#28 opened by jeshan - 4
Unification may fail with user attributes
#27 opened by jeshan - 14
addition example is slow to fail
#26 opened by jeshan - 0
More general global_cardinality/3
#25 opened by librarianmage - 1
clpz: lots of unexpected constraints
#23 opened by UWN - 2
tuples_in/2 non-relational
#22 opened by UWN - 3
tuples_in/2 misses tuple_domain/2
#21 opened by UWN - 4
leaking constraints
#20 opened by UWN - 2
sign/1 lacking
#17 opened by UWN - 6
Compatibility with SWI
#7 opened by wouterbeek - 9
Domain error after some level of backtracking with clpz: error(domain_error(clpz_expression,[]),unknown([])-1)
#16 opened by david-sitsky - 0
Documentation: unnecessary functional notation.
#19 opened by UWN - 0
Faraway bug
#18 opened by notoria - 2
- 0
- 4
Assert domain from set of values
#13 opened by lewtds - 2
Sum propagation in clp(fd)
#11 opened by erlanger - 3
Test cases
#10 opened by JCumin - 5
Stronger propagation for exponentiation
#5 opened by triska - 1
nvalue/2 non-monotonic
#9 opened by UWN - 0
Stronger nvalue/2 constraint
#8 opened by triska - 12
Goal expansion for (#\=)/2
#4 opened by triska - 4
Possible improvements to abs/1
#6 opened by JCumin - 1
Verify propagation
#2 opened by triska - 1
Loop in propagation of exponentiation
#1 opened by triska - 0
Stronger propagation for linear inequality
#3 opened by triska