Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / triska/clpz issues and pull requests

#34 - disjoint2/1 succeeds with negative widths and heights

Issue - State: open - Opened by SaGagnon about 1 month ago - 3 comments

#34 - disjoint2/1 succeeds with negative widths and heights

Issue - State: open - Opened by SaGagnon about 1 month ago - 3 comments

#33 - Update clpz prolog requirement

Pull Request - State: open - Opened by jgarte about 2 months ago

#33 - Update clpz prolog requirement

Pull Request - State: open - Opened by jgarte about 2 months ago

#32 - Copy Scryer Aug 2020 mod enhancements

Pull Request - State: open - Opened by jeshan 10 months ago - 2 comments

#32 - Copy Scryer Aug 2020 mod enhancements

Pull Request - State: open - Opened by jeshan 10 months ago - 2 comments

#31 - Copy PR #2280 from Scryer.

Pull Request - State: open - Opened by jeshan 10 months ago

#31 - Copy PR #2280 from Scryer.

Pull Request - State: open - Opened by jeshan 10 months ago

#30 - Copy PR #420 from Scryer.

Pull Request - State: open - Opened by jeshan 10 months ago

#30 - Copy PR #420 from Scryer.

Pull Request - State: open - Opened by jeshan 10 months ago

#29 - Copied scryer PR #2258

Pull Request - State: closed - Opened by jeshan 10 months ago

#29 - Copied scryer PR #2258

Pull Request - State: closed - Opened by jeshan 10 months ago

#28 - How to get changes in scryer's fork?

Issue - State: open - Opened by jeshan 10 months ago - 7 comments

#28 - How to get changes in scryer's fork?

Issue - State: open - Opened by jeshan 10 months ago - 7 comments

#27 - Unification may fail with user attributes

Issue - State: open - Opened by jeshan 11 months ago - 4 comments

#27 - Unification may fail with user attributes

Issue - State: open - Opened by jeshan 11 months ago - 4 comments

#26 - addition example is slow to fail

Issue - State: closed - Opened by jeshan 11 months ago - 14 comments

#26 - addition example is slow to fail

Issue - State: closed - Opened by jeshan 11 months ago - 14 comments

#25 - More general global_cardinality/3

Issue - State: open - Opened by librarianmage 12 months ago

#25 - More general global_cardinality/3

Issue - State: open - Opened by librarianmage 12 months ago

#24 - Update custom constraint example

Pull Request - State: open - Opened by jeshan about 1 year ago - 3 comments

#24 - Update custom constraint example

Pull Request - State: open - Opened by jeshan about 1 year ago - 3 comments

#23 - clpz: lots of unexpected constraints

Issue - State: closed - Opened by UWN about 1 year ago - 1 comment

#23 - clpz: lots of unexpected constraints

Issue - State: closed - Opened by UWN about 1 year ago - 1 comment

#22 - tuples_in/2 non-relational

Issue - State: closed - Opened by UWN over 1 year ago - 2 comments

#22 - tuples_in/2 non-relational

Issue - State: closed - Opened by UWN over 1 year ago - 2 comments

#21 - tuples_in/2 misses tuple_domain/2

Issue - State: closed - Opened by UWN over 1 year ago - 3 comments

#21 - tuples_in/2 misses tuple_domain/2

Issue - State: closed - Opened by UWN over 1 year ago - 3 comments

#20 - leaking constraints

Issue - State: closed - Opened by UWN over 1 year ago - 4 comments

#20 - leaking constraints

Issue - State: closed - Opened by UWN over 1 year ago - 4 comments

#19 - Documentation: unnecessary functional notation.

Issue - State: closed - Opened by UWN over 2 years ago

#19 - Documentation: unnecessary functional notation.

Issue - State: closed - Opened by UWN over 2 years ago

#18 - Faraway bug

Issue - State: closed - Opened by ghost over 2 years ago

#18 - Faraway bug

Issue - State: closed - Opened by ghost over 2 years ago

#17 - sign/1 lacking

Issue - State: open - Opened by UWN over 2 years ago - 2 comments

#17 - sign/1 lacking

Issue - State: open - Opened by UWN over 2 years ago - 2 comments

#15 - Bug multiple sat/1 combined with weighted_maximum/3

Issue - State: open - Opened by ghost over 3 years ago

#15 - Bug multiple sat/1 combined with weighted_maximum/3

Issue - State: open - Opened by ghost over 3 years ago

#14 - Bug CLP(B) and CLP(FD) dont work together

Issue - State: open - Opened by ghost over 3 years ago - 2 comments

#14 - Bug CLP(B) and CLP(FD) dont work together

Issue - State: open - Opened by ghost over 3 years ago - 2 comments

#13 - Assert domain from set of values

Issue - State: open - Opened by lewtds almost 4 years ago - 4 comments

#13 - Assert domain from set of values

Issue - State: open - Opened by lewtds almost 4 years ago - 4 comments

#12 - Integration with `library(reif)`?

Issue - State: closed - Opened by Qqwy about 4 years ago - 5 comments

#11 - Sum propagation in clp(fd)

Issue - State: closed - Opened by erlanger about 5 years ago - 2 comments

#10 - Test cases

Issue - State: open - Opened by JCumin over 7 years ago - 3 comments

#9 - nvalue/2 non-monotonic

Issue - State: closed - Opened by UWN almost 8 years ago - 1 comment

#8 - Stronger nvalue/2 constraint

Issue - State: open - Opened by triska almost 8 years ago

#7 - Compatibility with SWI

Issue - State: open - Opened by wouterbeek almost 8 years ago - 6 comments

#6 - Possible improvements to abs/1

Issue - State: open - Opened by JCumin about 8 years ago - 4 comments

#5 - Stronger propagation for exponentiation

Issue - State: open - Opened by triska about 8 years ago - 5 comments

#4 - Goal expansion for (#\=)/2

Issue - State: closed - Opened by triska about 8 years ago - 12 comments

#3 - Stronger propagation for linear inequality

Issue - State: open - Opened by triska about 8 years ago

#2 - Verify propagation

Issue - State: closed - Opened by triska about 8 years ago - 1 comment

#1 - Loop in propagation of exponentiation

Issue - State: closed - Opened by triska about 8 years ago - 1 comment