CLASSES=none
PSTAMP=q20151117060732
LICFILE=sri-eula.txt
LICURL=http://yices.csl.sri.com/yices-newnewlicense.html
LICINFO=SRI EULA - non commercial use, only.
DESC=Yices 2 is an SMT solver that decides the satisfiability of formulas containing uninterpreted function symbols with equality, linear real and integer arithmetic, bitvectors, scalar types, and tuples. It can process input written in the SMT-LIB notation (both versions 2.0 and 1.2 are supported) or Yices 2's own specification language, which includes tuples and scalar types.
BASEDIR=/usr
VENDOR=LINOFEE, http://www.linofee.org
EMAIL=developers@linofee.org
CATEGORY=develop,application
NAME=SMT solver Yices2
SERIALNUM=001
VERSION=2.4.1
ARCH=i386
PKG=LNFyices