PKG=LNFyices
ARCH=x86_64
VERSION=2.6.2
SERIALNUM=001
NAME=SMT solver Yices 2
CATEGORY=develop,application
EMAIL=jel+ubuntu-pkg@cs.uni-magdeburg.de
VENDOR=http://theo.iks.cs.ovgu.de/
BASEDIR=/usr
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. This version has no support for nonlinear arithmetic based on the Model Constructing Satisfiability Calculus (MCSAT). If you really need it, install the yices2 package or binary tar ball provided by SRI itself instead.
LICINFO=GNU General Public License, Version 3, 29 June 2007
LICURL=http://www.gnu.org/licenses/gpl-3.0.html
LICFILE=gpl3.txt
PSTAMP=bionic20201031232756
CLASSES=none