CLASSES=none
PSTAMP=q20160731035352
LICFILE=bsd.txt
LICURL=https://github.com/CVC4/CVC4/blob/master/COPYING
LICINFO=BSD 3-Clause
DESC=CVC4 is a tool for determining the satisfiability of a first order formula modulo a first order theory (or a combination of such theories). It is intended to be an open and extensible SMT engine.  It can be used as a stand-alone tool or as a library.  It has been designed to increase the performance and reduce the memory overhead of its predecessors.
BASEDIR=/usr
VENDOR=LINOFEE, http://www.linofee.org
EMAIL=developers@linofee.org
CATEGORY=develop,application
NAME=SMT solver Cooperating Validity Checker 4
SERIALNUM=001
VERSION=1.5.0.0.20150206
ARCH=i386
PKG=LNFcvc4