Permalink
Commits on Oct 14, 2012
  1. [maven-release-plugin] prepare release core.logic-0.8.0-beta1

    Hudson @ build.clojure.org committed Oct 14, 2012
  2. update project.clj

    David Nolen committed Oct 14, 2012
  3. update changes

    David Nolen committed Oct 14, 2012
  4. tests for eqfd

    David Nolen committed Oct 14, 2012
  5. add guards for *fdc and +fdc

    David Nolen committed Oct 14, 2012
  6. have to backtrack for now, this causes (+fd x 1 x) (+fd x x x) tests …

    …to fail and (*fd n m) gives
    
    too many answers.
    David Nolen committed Oct 14, 2012
  7. update should fail if attempt to replace an existing value in subst!

    another performance boost for hard0 sudoku.
    David Nolen committed Oct 14, 2012
  8. big perf boost to hard0 sudoku by implementing Object equals for Fini…

    …teDomain
    David Nolen committed Oct 14, 2012
  9. cleanup bench

    David Nolen committed Oct 14, 2012
  10. fix tests for member? change

    David Nolen committed Oct 14, 2012
  11. member? args are (dom n). no need for member?*.

    David Nolen committed Oct 14, 2012
  12. update process-dom docstring

    David Nolen committed Oct 14, 2012
  13. clean up TODOs

    David Nolen committed Oct 14, 2012
  14. Merge branch 'multistore' into tier

    David Nolen committed Oct 14, 2012
  15. bench crypt1

    David Nolen committed Oct 14, 2012
  16. only run the relevant constraints by making constraints specify which…

    … working stores
    
    they wathc.
    David Nolen committed Oct 14, 2012
Commits on Oct 13, 2012
  1. tweak simple eqfd example

    David Nolen committed Oct 13, 2012
  2. enhance eqfd to take multiple equations

    David Nolen committed Oct 13, 2012
  3. add member count protocol, prep for custom distributes

    David Nolen committed Oct 13, 2012
  4. note an eqfd limitation

    David Nolen committed Oct 13, 2012
Commits on Oct 12, 2012
  1. note about list approach

    David Nolen committed Oct 12, 2012
  2. verified that nothing ever gets added to ws if it already has a value

    in the substitution.
    David Nolen committed Oct 12, 2012
  3. another todo

    David Nolen committed Oct 12, 2012
  4. another todo

    David Nolen committed Oct 12, 2012
  5. add todo

    David Nolen committed Oct 12, 2012
  6. Merge branch 'master' into multistore

    David Nolen committed Oct 12, 2012
  7. Add PMap (partial-map) record that unifies with maps whose keys are a…

    … superset of its keys.
    lynaghk committed with David Nolen Oct 12, 2012
  8. another todo

    David Nolen committed Oct 12, 2012
  9. add queue to ISubstitutionsCLP. add cq field to Substitutions. update

    fix-constraints to call queue and update queue.
    David Nolen committed Oct 12, 2012
  10. remove domfd todo comment

    David Nolen committed Oct 12, 2012