Safe Haskell | None |
---|---|
Language | Haskell98 |
This module contains the types defining an SMTLIB2 interface.
Serialized Representation
Commands
Commands issued to SMT engine
Responses
Responses received from SMT engine
Typeclass for SMTLIB2 conversion
AST Conversion: Types that can be serialized ---------------------
Types that can be serialized
SMTLIB2 Process Context
Information about the external SMT process
Theory Symbol
data TheorySymbol Source
Theory Symbol