Commits on Aug 4, 2012
  1. [maven-release-plugin] prepare release core.logic-0.8-alpha2

    Hudson @ build.clojure.org committed Aug 4, 2012
  2. * CHANGES.md: alpha1 -> alpha2

    David Nolen committed Aug 4, 2012
Commits on Aug 3, 2012
  1. * README.md: link

    David Nolen committed Aug 3, 2012
Commits on Aug 2, 2012
  1. typo

    David Nolen committed Aug 2, 2012
  2. * README.md: license

    David Nolen committed Aug 2, 2012
  3. * README.md: links

    David Nolen committed Aug 2, 2012
  4. * README.md: clean up the main README

    David Nolen committed Aug 2, 2012
  5. everyo was a pseudo relation, rename to everyg. update bench.clj. add…

    … distincto relation which uses !=.
    David Nolen committed Aug 2, 2012
  6. [maven-release-plugin] prepare for next development iteration

    Hudson @ build.clojure.org committed Aug 2, 2012
  7. [maven-release-plugin] prepare release core.logic-0.8-alpha1

    Hudson @ build.clojure.org committed Aug 2, 2012
  8. * CHANGES.md: 0.8-alpha1

    David Nolen committed Aug 2, 2012
Commits on Aug 1, 2012
  1. * notes/todos.org: update notes

    David Nolen committed Aug 1, 2012
  2. * src/main/clojure/clojure/core/logic.clj: bounds shouldn't be in IIn…

    …terval protocol. Make it a regular fn. Remove protocol implementations.
    David Nolen committed Aug 1, 2012
  3. * src/main/clojure/clojure/core/logic/bench.clj: add helper to print …

    …solutions
    David Nolen committed Aug 1, 2012
  4. * src/main/clojure/clojure/core/logic/bench.clj: include hard one fro…

    …m wikipedia
    David Nolen committed Aug 1, 2012
  5. * src/main/clojure/clojure/core/logic/bench.clj: simplistic verificat…

    …ion of sudoku results
    David Nolen committed Aug 1, 2012
  6. * src/main/clojure/clojure/core/logic/bench.clj: add Norvig hardest. …

    …Add hard one from GeCode test suite.
    David Nolen committed Aug 1, 2012
  7. * src/main/clojure/clojure/core/logic/bench.clj: improve sudoku bench…

    …marks. easy one takes 6ms. Norvig's hardest one takes ~60ms.
    David Nolen committed Aug 1, 2012
  8. * src/main/clojure/clojure/core/logic.clj: fix broken simple unifier …

    …case. clean up LVar construction.
    David Nolen committed Aug 1, 2012
  9. * src/test/clojure/clojure/core/logic/tests.clj: remove property acce…

    …ss from tests, use keywords
    David Nolen committed Aug 1, 2012
  10. * src/main/clojure/clojure/core/logic.clj: even the comments are usel…

    …ess type hint free
    David Nolen committed Jul 31, 2012
  11. * src/main/clojure/clojure/core/logic.clj: all silly type hints elimi…

    …nated
    David Nolen committed Jul 31, 2012
  12. * src/main/clojure/clojure/core/logic.clj: implement clojure.lang.ILo…

    …okup on Pair, FiniteDomain, MultiIntervalFD, ConstraintStore, Refinable, Substitutions. Remove ugly type hinting.
    David Nolen committed Jul 31, 2012
  13. l

    * src/main/clojure/clojure/core/logic.clj: note about handling constraints that need to check prefix
    David Nolen committed Jul 31, 2012
  14. * src/main/clojure/clojure/core/logic.clj: ConstraintStore is not lon…

    …ger IAssociative.
    David Nolen committed Jul 31, 2012
  15. * src/main/clojure/clojure/core/logic.clj: ConstraintStore no longer …

    …implements ILookup
    David Nolen committed Jul 31, 2012
  16. * src/main/clojure/clojure/core/logic.clj: docstrings!

    David Nolen committed Jul 31, 2012
  17. * src/main/clojure/clojure/core/logic.clj: move everyo

    David Nolen committed Jul 31, 2012
  18. * src/main/clojure/clojure/core/logic.clj: remove another dubious pro…

    …tocol IStorableConstraint
    David Nolen committed Jul 31, 2012