Language.Fixpoint.SmtLib2

Commands

data Command

Responses

data Response

Typeclass for SMTLIB2 conversion

class SMTLIB2 a

Creating and killing SMTLIB2 Process

data Context

makeContext

makeContextNoLog

cleanupContext

Execute Queries

command

smtWrite

smt_set_funs