Remove redundant imports
Sort imports consistently
Add nice Show instances for QBF, Formula
Implement conversion from Bit to Formula in MonadSAT
instance (a ~ Bit) => Equatable [a]
Delete some unused code
Add reifyGraphSAT to MonadSAT for now
Make showSAT :: … -> IO String for now, think about unsafeCoerce and safety later
Bit: Export assert
Support running (crypto)minisat and parsing the solution
Encoding: Fix decode of Literal
Solver.Minisat: Enforce a terminating 0 in the solution
Derive Traversable for Circuit, do mapDeRef in terms of it
Replace data-reify code with direct StableName usage
Finish the decoding; implement solveWith
Internal.Problem: More terse Show instance for Lit
Removed a reference to the unused region parameter
Remove bit, just an alias to bool
Equatable: More tuple instances
Equatable: More polymorphic, more efficient [a] instance