Portability | portable |
---|---|
Stability | provisional |
Maintainer | Ahn, Ki Yung <kya@pdx.edu> |
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.