%FILENAME%
cvc4-1.8-3-x86_64.pkg.tar.zst

%NAME%
cvc4

%BASE%
cvc4

%VERSION%
1.8-3

%DESC%
An automatic theorem prover

%CSIZE%
5398484

%ISIZE%
19193359

%SHA256SUM%
a6bb775d966404dc39678df55cfd2a11e5e82855276c9702492b601a46141ef1

%URL%
https://cvc5.github.io/

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
x86_64

%BUILDDATE%
1693576469

%PACKAGER%
Dmitry Razumov <asmeron@ublinux.com>

%DEPENDS%
libantlr3c
cln

%OPTDEPENDS%
readline: for an improved interaction support

%MAKEDEPENDS%
cmake
java-runtime
python-toml

