smtLib-1.0.7: A library for working with the SMTLIB format.

Safe HaskellSafe
LanguageHaskell98

SMTLib2.Compat1

Documentation

data Trans a Source

Constructors

OK a 
Fail Doc