%FILENAME%
cvc4-1.6-2-x86_64.pkg.tar.xz

%NAME%
cvc4

%BASE%
cvc4

%VERSION%
1.6-2

%DESC%
An automatic theorem prover

%CSIZE%
4731996

%ISIZE%
18638848

%MD5SUM%
0811319c85f4425926989fc2ee8a5de0

%SHA256SUM%
9432c268a83cc97f1c9371ba16d8ad2f6acfeb3d0047783e3addd418f8d2cbc7

%PGPSIG%
iQEzBAABCAAdFiEEhs/8qRjPOvRxR1iAUeixSKmZnDQFAlw4TPgACgkQUeixSKmZnDRNvAf/YsCDr83jcSMmzsudsfSRGC9UIQrBGM3WSXm2lVGWP+9W0ezTlq1ojoiHoD69tRLylrVg7J7pfqCgB/e+QMFauydJZ052USVOWyt8gZTPAk4/71Th2kS0h0RBHgD2645X3NJAhXS1z26V0+lAOa8NzBF8Zie/wS0aBdkFGnA8Juuyqr5juR/Qk/4S35qcKA9DDQmq1rRQOCYletp8evC+XiTi2LvYTMw/qmtJ8BoQsqne34IrQfP6lFUaOaEdwcHNFI2tppi7jFkBHIiT5kPxY4J6KGcOY/OPXs17JpM1BsKA5VODJLdWE7iqak3BUxnD1gLkuOk6pGQjnXoUyhxNog==

%URL%
http://cvc4.cs.nyu.edu/web/

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
x86_64

%BUILDDATE%
1547193181

%PACKAGER%
Evangelos Foutras <evangelos@foutrelis.com>

%DEPENDS%
boost
libantlr3c
cln

%OPTDEPENDS%
readline: for an improved interaction support

%MAKEDEPENDS%
python

