qlogic-0.9: A Haskell Library for Propositional Logic.

qlogic-0.9: A Haskell Library for Propositional Logic.

This is a Haskell library for propositional logic. In particular, it provides an interface to the MiniSat SAT solver, arithmetical operations using bit blasting and many more features. The library is considered deprecated, use satchmo instead (http://dfa.imn.htwk-leipzig.de/satchmo/, http://github.com/pepeiborra/satchmo/).

Modules