Language.Fixpoint.Smt.Interface

Commands

data Command

Responses

data Response

Typeclass for SMTLIB2 conversion

class SMTLIB2 a

Creating and killing SMTLIB2 Process

data Context

makeContext

makeContextNoLog

makeContextWithSEnv

cleanupContext

Execute Queries

command

smtWrite

Query API

smtDecl

smtDecls

smtAssert

smtFuncDecl

smtAssertAxiom

smtCheckUnsat

smtCheckSat

smtBracket

smtBracketAt

smtDistinct

smtPush

smtPop

Check Validity

checkValid

checkValid'

checkValidWithContext

checkValids