Haskell PicoSAT wrapper