Safe Haskell | None |
---|---|
Language | Haskell98 |
Language.Fixpoint.Smt.Types
Contents
Description
This module contains the types defining an SMTLIB2 interface.
Serialized Representation
Commands
Types ---------------------------------------------------------------------
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 ------------------------------
Minimal complete definition
SMTLIB2 Process Context
Information about the external SMT process
Constructors
Ctx | |
Fields
|