yices-0.0.0.12: Haskell programming interface to Yices SMT solver

Portabilityportable
Stabilityprovisional
MaintainerAhn, Ki Yung <kya@pdx.edu>
Safe HaskellSafe-Infered

Math.SMT.Yices.Syntax

Description

Haskell data type definition for the yices syntax. Yet incomplete since it does not include bit vectors. See http://yices.csl.sri.com/language.shtml for details.

Synopsis

Documentation

data TypY Source

yices types

Instances