Permalink
Switch branches/tags
Commits on Aug 31, 2016
  1. Ignore local stack setup

    Sebastian Fischer committed Aug 31, 2016
  2. Add upper bound for base package

    Sebastian Fischer committed Aug 31, 2016
  3. Merge pull request #4 from tov/master

    Makes package build on GHC 8.
    committed on GitHub Aug 31, 2016
Commits on Aug 30, 2016
Commits on Jan 31, 2009
  1. version 0.1.7.

    committed Jan 31, 2009
  2. version 0.1.6.

    committed Jan 31, 2009
  3. better clause simplification.

    committed Jan 31, 2009
Commits on Jan 30, 2009
  1. version 0.1.5.

    committed Jan 30, 2009
  2. version 0.1.4

    committed Jan 30, 2009
  3. remove duplicate literals from clauses.

    I use Data.List.nub which has quadratic run time!
    committed Jan 30, 2009
  4. version 0.1.3

    committed Jan 30, 2009
  5. only Show instance for Boolean.

    committed Jan 30, 2009
Commits on Jan 29, 2009
  1. version 0.1.2.

    committed Jan 29, 2009
Commits on Jan 28, 2009
  1. cleanup for version 0.1.

    committed Jan 28, 2009
  2. added solver module.

    committed Jan 28, 2009
  3. implemented SAT solver.

    committed Jan 28, 2009
  4. added module Data.Boolean.

    committed Jan 28, 2009
  5. initial commit.

    committed Jan 28, 2009