Hsmtlib-0.2.0.6: Haskell library for easy interaction with SMT-LIB 2 compliant solvers.

Safe HaskellSafe-Inferred

Hsmtlib.Solvers.Cmd.BatchCmd

Documentation

executeBatch :: CmdPath -> Args -> String -> [Command] -> IO StringSource