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

Query API

smtDecl

smtAssert

smtCheckUnsat

smtBracket

smtDistinct

Theory Symbols

smt_set_funs