Issues

Select view

Select search mode

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