issues
search
triska
/
clpz
Constraint Logic Programming over Integers
https://www.metalevel.at/prolog/clpz
178
stars
14
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Copy Scryer Aug 2020 mod enhancements
#32
jeshan
opened
7 months ago
2
Copy PR #2280 from Scryer.
#31
jeshan
opened
7 months ago
0
Copy PR #420 from Scryer.
#30
jeshan
opened
7 months ago
0
Copied scryer PR #2258
#29
jeshan
closed
8 months ago
0
How to get changes in scryer's fork?
#28
jeshan
opened
8 months ago
7
Unification may fail with user attributes
#27
jeshan
opened
8 months ago
4
addition example is slow to fail
#26
jeshan
closed
8 months ago
14
More general global_cardinality/3
#25
librarianmage
opened
9 months ago
0
Update custom constraint example
#24
jeshan
opened
11 months ago
3
clpz: lots of unexpected constraints
#23
UWN
closed
11 months ago
1
tuples_in/2 non-relational
#22
UWN
closed
1 year ago
2
tuples_in/2 misses tuple_domain/2
#21
UWN
closed
1 year ago
3
leaking constraints
#20
UWN
closed
1 year ago
4
Documentation: unnecessary functional notation.
#19
UWN
closed
2 years ago
0
Faraway bug
#18
ghost
closed
2 years ago
0
sign/1 lacking
#17
UWN
opened
2 years ago
2
Domain error after some level of backtracking with clpz: error(domain_error(clpz_expression,[]),unknown([])-1)
#16
david-sitsky
closed
1 year ago
9
Bug multiple sat/1 combined with weighted_maximum/3
#15
ghost
opened
3 years ago
0
Bug CLP(B) and CLP(FD) dont work together
#14
ghost
opened
3 years ago
2
Assert domain from set of values
#13
lewtds
opened
3 years ago
4
Integration with `library(reif)`?
#12
Qqwy
closed
3 years ago
5
Sum propagation in clp(fd)
#11
erlanger
closed
5 years ago
2
Test cases
#10
JCumin
opened
7 years ago
3
nvalue/2 non-monotonic
#9
UWN
closed
7 years ago
1
Stronger nvalue/2 constraint
#8
triska
opened
7 years ago
0
Compatibility with SWI
#7
wouterbeek
opened
7 years ago
6
Possible improvements to abs/1
#6
JCumin
opened
7 years ago
4
Stronger propagation for exponentiation
#5
triska
opened
7 years ago
5
Goal expansion for (#\=)/2
#4
triska
closed
7 years ago
12
Stronger propagation for linear inequality
#3
triska
opened
7 years ago
0
Verify propagation
#2
triska
closed
7 years ago
1
Loop in propagation of exponentiation
#1
triska
closed
7 years ago
1