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