/mios

A SAT solver written in Haskell.

Primary LanguageHaskellGNU General Public License v3.0GPL-3.0

A Reimplementation of Minisat in Haskell, with Lens

this repo uses haskell with lens and state monad to re-implement minisat functions (those in the paper) in a functional-imperative way