Typeable Solution
Renamed TrivialParser module to Parser
Added an example to the cabal file and added how to run an solver to the README.
Lots of refactoring and haddock improvements. SAT no longer builds on IO
Renamed Problem to Monad
Fairly radical restructuring
Split Problem from Formula
Refactored Bit into Bit and Circuit modules
Added some section headers to the haddocks
Added missing module headers
CPS'd the SAT monad.
More MonadSAT instances
SAT now has a monad it is transforming
Simplify Lit
Added deriving for Equatable instances using Generic
Generic Boolean and Equatable instances for Bits
More generic Equatable instances
Generic Variable instances
Use Generics to derive all of the Variable instances for Bits
inlined encodings