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

cleanupContext

Execute Queries

command

smtWrite

Query API

smtDecl

smtAssert

smtCheckUnsat

smtBracket

smtDistinct

Theory Symbols

theorySymbols