PKG=LNFz3-lib-48
ARCH=x86_64
VERSION=4.8.9
SERIALNUM=001
NAME=Theorem Prover Z3 library
CATEGORY=develop,application
EMAIL=jel+ubuntu-pkg@cs.uni-magdeburg.de
VENDOR=http://theo.iks.cs.ovgu.de/
BASEDIR=/usr
DESC=Z3 is a theorem prover from Microsoft Research. This package contains the Z3 library, only.
LICINFO=MIT License (free)
LICURL=http://www.opensource.org/licenses/mit-license.html
LICFILE=mit.txt
PSTAMP=focal20220916182323
CLASSES=none