Skip to content
Commits on Apr 12, 2012
  1. @cgrand

    up-narrowing now!

    cgrand committed
  2. @cgrand
Commits on Apr 11, 2012
  1. @cgrand
  2. @cgrand
Commits on Apr 9, 2012
  1. @cgrand

    renames restrict to -narrow

    cgrand committed
Commits on Apr 4, 2012
  1. @cgrand

    Heuristics tweak (don't ask for the magic 1), now zebaro and (flatten…

    cgrand committed
    …o '(((((b))))) x) takes 400ms (it's 5 parens this time!)
  2. @cgrand
  3. @cgrand

    fix typo in local name

    cgrand committed
  4. @cgrand
Commits on Apr 3, 2012
  1. @cgrand

    factor out the min handling to simplify Search implementations, fix a…

    cgrand committed
    … big bug in Narrow (step was called on the restricted search without checking whether a result was yield)
Commits on Apr 2, 2012
  1. @cgrand
Commits on Mar 28, 2012
  1. @cgrand
  2. @cgrand
  3. @cgrand

    this wrapping is useless

    cgrand committed
  4. @cgrand
  5. @cgrand

    remove profiling code

    cgrand committed
  6. @cgrand
Commits on Mar 27, 2012
  1. @cgrand

    sizehint for plus is better computed with a min rather than a plus be…

    cgrand committed
    …cause it masures the likeliness of producing an answer or nil.
    
    flatteno (((((b))))) now takes 2s.
  2. @cgrand
  3. @cgrand
Commits on Mar 23, 2012
  1. @cgrand
Commits on Jan 20, 2012
  1. @cgrand
Commits on Jan 10, 2012
  1. @cgrand
Commits on Jan 1, 2012
  1. * README.md: fix or-tools link

    David Nolen committed
Commits on Dec 9, 2011
  1. [maven-release-plugin] prepare for next development iteration

    Hudson @ build.clojure.org committed
  2. [maven-release-plugin] prepare release core.logic-0.6.7

    Hudson @ build.clojure.org committed
  3. @swannodette
  4. @senior @swannodette
  5. @senior @swannodette
Commits on Dec 7, 2011
  1. @swannodette
Commits on Dec 6, 2011
  1. [maven-release-plugin] prepare for next development iteration

    Hudson @ build.clojure.org committed
  2. [maven-release-plugin] prepare release core.logic-0.6.6

    Hudson @ build.clojure.org committed
  3. @swannodette
  4. @swannodette
Commits on Dec 1, 2011
  1. @swannodette
Something went wrong with that request. Please try again.