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

Safe HaskellSafe-Inferred
LanguageHaskell2010

Hsmtlib.Solvers.Cmd.ProcCom.Process

Description

The following module contains method that facilitate the comunication with the SMTSolvers.

Synopsis

Documentation

beginProcess :: CmdPath -> Args -> IO Process Source

Creates a Process ready to be executed.

send :: Process -> String -> IO String Source

Sends the desired input to the process std_in and then reads from std out. Working smt with this method: - z3 - mathSat - cvc4

endProcess :: Process -> IO ExitCode Source

Sends the signal to terminate to the running process.

sendScript :: CmdPath -> Args -> FilePath -> IO String Source

Calls readProcess and pass as arguments the arguments given plus the name of the file with the context. An empty String is passed to the std_in.

It's the same function as readProcess. readProcess: http://hackage.haskell.org/package/process-1.1.0.1/docs/System-Process.html

type Process = (Maybe Handle, Maybe Handle, Maybe Handle, ProcessHandle) Source

Type returned by CreateProcess

type CmdPath = String Source

Path to the process

type Args = [String] Source

Argumants passed to process