Haskell bindings for PicoSAT solver