Math.SMT.Yices.Parser

Parser for the yices syntax. Yet incomplete since it does not include bit vectors, and not heavily tested at all. See http://yices.csl.sri.com/language.shtml for details.

Documentation

typY :: GenParser Char st TypY

parsec parser for yices types

expY :: GenParser Char st ExpY

parsec parser for yices expressions

cmdY :: GenParser Char st CmdY

parsec parser for yices command

parseTypY :: String -> TypY

parse a string of yices type format

parseExpY :: String -> ExpY

parse a string of yices expression format

parseExpYs :: String -> [ExpY]

parse a string of many yices expressions

parseCmdY :: String -> CmdY

parse a string of yices command format