PKG=LNFcvc-libs-47
ARCH=x86_64
VERSION=1.8.0
SERIALNUM=001
NAME=SMT solver Cooperating Validity Checker (CVC4)
CATEGORY=develop,application
EMAIL=jel+ubuntu-pkg@cs.uni-magdeburg.de
VENDOR=http://theo.cs.ovgu.de/
BASEDIR=/usr
DESC=This package contains the shared libraries required to run cvc4 or related applications. 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.
LICINFO=BSD 3-Clause
LICURL=https://github.com/CVC4/CVC4/blob/master/COPYING
LICFILE=bsd.txt
PSTAMP=focal20201026221730
CLASSES=none