%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

%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

