Issues
requiring pldb issues warning about referring to indexed? | Unassigned | Michael Fogleman | Completed | Jul 17, 2017 | Mar 6, 2018 | ||||||
Non-macro conjunction/disjunction functions | Unassigned | Alan Malloy | ![]() | Completed | Feb 19, 2015 | Mar 10, 2015 | |||||
Namespace qualify pldb relations | Unassigned | Reid D McKenzie | Completed | Nov 9, 2014 | Nov 12, 2014 | ||||||
fd/eq returns strange results | Unassigned | import | ![]() | Completed | Oct 13, 2014 | Oct 16, 2014 | |||||
Disequality on pairs not respected | Unassigned | import | ![]() | Completed | Jul 6, 2014 | Jul 6, 2014 | |||||
Weird behavior with negative-number domains | Unassigned | import | Declined | Jun 18, 2014 | Jul 6, 2014 | ||||||
membero documentation does not describe arguments | Unassigned | import | ![]() | Completed | May 30, 2014 | Oct 15, 2014 | |||||
Dynamic variables are not seen inside a logic query | Unassigned | import | ![]() | Declined | Jan 28, 2014 | Jul 6, 2014 | |||||
Correct several unit tests | Unassigned | Andy Fingerhut | Completed | Dec 23, 2013 | Dec 30, 2013 | ||||||
partitiono in c.c.logic.bench is emitting calls to 1-ary version of partition | Unassigned | Nicola Mometto | ![]() | Completed | Dec 15, 2013 | Dec 20, 2013 | |||||
deftest test-root-1 in namespace clojure.core.logic.tests missing 'is'? | Unassigned | Andy Fingerhut | Completed | Dec 15, 2013 | Dec 20, 2013 | ||||||
pair used in fd namespace | Unassigned | David Nolen | ![]() | Completed | Dec 12, 2013 | Jul 6, 2014 | |||||
-jonc protocol to support conjo | Unassigned | David Nolen | ![]() | Completed | Dec 3, 2013 | Dec 4, 2013 | |||||
polymorphic conjo constraint | Unassigned | David Nolen | ![]() | Completed | Dec 3, 2013 | Dec 3, 2013 | |||||
partial-map bug | Unassigned | David Nolen | ![]() | Completed | Nov 26, 2013 | Nov 26, 2013 | |||||
bring pldb into core.logic | Unassigned | Norman Richards | ![]() | Completed | Oct 6, 2013 | Oct 15, 2013 | |||||
to-stream fails on constraints | Unassigned | Norman Richards | ![]() | Completed | Jun 23, 2013 | Jul 28, 2013 | |||||
OOM when setting (interval 1 2) for 20 logic vars | Unassigned | gfredericks | ![]() | Completed | May 11, 2013 | Jul 28, 2013 | |||||
membero should be updated to use disequality constraints | Unassigned | Austin Haas | ![]() | Completed | May 7, 2013 | Jul 28, 2013 | |||||
Historic artifacts in the implementation of Choice prevent take* from being generally usable. | Unassigned | Austin Haas | ![]() | Completed | May 7, 2013 | Jul 28, 2013 | |||||
"PMap is non-storable" exception when using featurec with nested feature map. | Unassigned | import | ![]() | Completed | Apr 26, 2013 | Jul 28, 2013 | |||||
Docstrings for lvaro and nonlvaro need improvement. | Unassigned | Austin Haas | Completed | Apr 22, 2013 | Jul 28, 2013 | ||||||
Swapping noms turns maps (and other collections) into seqs | Unassigned | Jirka MarÅ¡Ãk | ![]() | Completed | Apr 2, 2013 | Jul 28, 2013 | |||||
fd/* and fd/+ interaction bug | Unassigned | David Nolen | ![]() | Completed | Mar 28, 2013 | Jul 28, 2013 | |||||
Using membero with a vector as an element | Unassigned | Matthew Smith | ![]() | Completed | Mar 25, 2013 | Jul 28, 2013 | |||||
Order of args to fd/!= changes results (gives incorrect answer) | Unassigned | Ryan Senior | ![]() | Completed | Mar 24, 2013 | Jul 28, 2013 | |||||
Subpattern {?x (?y ?y)} fails to unify | Unassigned | Jonas Enlund | ![]() | Completed | Mar 15, 2013 | Jul 28, 2013 | |||||
Unifier fails on some nested forms | Unassigned | Jonas Enlund | ![]() | Completed | Mar 14, 2013 | Jul 28, 2013 | |||||
(unify '[?x 1]) throws IllegalArgumentException | Unassigned | Jonas Enlund | ![]() | Completed | Mar 14, 2013 | Jul 28, 2013 | |||||
prep does not make lvar of ?x if ?x is in a vector | Unassigned | Jonas Enlund | ![]() | Completed | Mar 11, 2013 | Nov 24, 2014 | |||||
ClassCastException in core.logic depending on ordering | Unassigned | Matthew Smith | ![]() | Completed | Mar 8, 2013 | Jul 28, 2013 | |||||
fd/interval with (== lb ub) fails | Unassigned | Herwig Hochleitner | ![]() | Completed | Feb 19, 2013 | Jul 28, 2013 | |||||
A conde clause that beings with a fresh expression will initially fail | Unassigned | Austin Haas | ![]() | Declined | Feb 13, 2013 | Jul 28, 2013 | |||||
Incorrect results with tabled resolution | Unassigned | import | ![]() | Completed | Feb 5, 2013 | Jul 28, 2013 | |||||
conda expression that no longer works in rc2 | Unassigned | David Nolen | ![]() | Completed | Feb 4, 2013 | Jul 28, 2013 | |||||
Allow anonymous constraints | Unassigned | Kevin Lynagh | Completed | Feb 4, 2013 | Jul 28, 2013 | ||||||
custom defc constraint does not run | Unassigned | Kevin Downey | ![]() | Completed | Jan 28, 2013 | Jul 28, 2013 | |||||
featurec or something similar to provide recursive partial partial map constraints | Unassigned | Kevin Downey | ![]() | Completed | Jan 24, 2013 | Jul 28, 2013 | |||||
Less dependencies for non-dev environments? | Unassigned | Jeroen van Dijk | Completed | Jan 22, 2013 | Jul 28, 2013 | ||||||
cannot use fresh/conde in the invoke of a constraint | Unassigned | Nada Amin | ![]() | Completed | Jan 20, 2013 | Jul 28, 2013 | |||||
java.lang.IllegalArgumentException: No single method: _id of interface: clojure.core.logic.IConstraintId found for function: -id of protocol: IConstraintId | Unassigned | import | ![]() | Declined | Jan 17, 2013 | Jul 28, 2013 | |||||
-merge-doms for ::nom is not closed under composition | Unassigned | Nada Amin | ![]() | Completed | Jan 11, 2013 | Jul 28, 2013 | |||||
another non-termination case with CLP(FD) | Unassigned | David Nolen | ![]() | Completed | Jan 10, 2013 | Jul 28, 2013 | |||||
generalize the notion of hash for robustness | Unassigned | Nada Amin | ![]() | Completed | Jan 7, 2013 | Jul 28, 2013 | |||||
nom/hash and variable noms | Unassigned | Nada Amin | ![]() | Completed | Jan 7, 2013 | Jul 28, 2013 | |||||
pruning of unsatisfiable non-ground disequalities | Unassigned | Nada Amin | Completed | Jan 7, 2013 | Jul 28, 2013 | ||||||
nominal unification misses after-the-fact fd constraints | Unassigned | Nada Amin | ![]() | Completed | Jan 5, 2013 | Jul 28, 2013 | |||||
disequality pruning | Unassigned | Nada Amin | ![]() | Completed | Jan 4, 2013 | Jul 28, 2013 | |||||
disequality | Unassigned | Nada Amin | Completed | Jan 4, 2013 | Jul 28, 2013 | ||||||
nominal, spurious nil | Unassigned | David Nolen | ![]() | Declined | Jan 3, 2013 | Jul 28, 2013 |
1-50 of 130