%FILENAME%
cvc4-1.8-3.0-i486.pkg.tar.zst

%NAME%
cvc4

%BASE%
cvc4

%VERSION%
1.8-3.0

%DESC%
An automatic theorem prover

%CSIZE%
6679531

%ISIZE%
28840976

%MD5SUM%
ed4426949a90b6730bf030fc94f8bf60

%SHA256SUM%
60c196852f10cf1ce62ef73b84e9218b953866bfe60a665081ad8c086dafb9e1

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmW0r6YACgkQyOj1oK+bp+edXAf/fZUtxLLD8EsJR4o7pcVojc8WO0P0owEcc4IaET0Vv9Y5g75h0al/I4fPald+5Sqao1hFNuJOt4ZO6sY99deadkR9CKiDhLOQ0mRmajmRNlZOFc+wypSnYNHam7iXwzbHnyvAforHRPaozo2nwC297K9uN8EjkYgtNDLEE+HiZd6qH4I4yjpj6uOLLXbV7gL+Zn5EwZ7eCHCemszVnTOxkFs+ySdv9I9PHqcMCtYRy6+x+A/6I02wInE2NZ2ByZF25LGzDP4lifqoQ/iXcXnTAeRnLuVhPesaXPCar/GAQWW4avvV2Uv3lTqwjyB+jNo2BqIBHD/JQq5/Edk9Ke9QZw==

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
i486

%BUILDDATE%
1706335786

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

%DEPENDS%
libantlr3c
cln

%OPTDEPENDS%
readline: for an improved interaction support

%MAKEDEPENDS%
cmake
java-runtime
python-toml

