%FILENAME%
cvc5-1.3.0-2-x86_64.pkg.tar.zst

%NAME%
cvc5

%BASE%
cvc5

%VERSION%
1.3.0-2

%DESC%
An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems

%CSIZE%
7065962

%ISIZE%
22913364

%SHA256SUM%
916191b56050efbbbee37623b361487a05b69f8434d8b4878ba1c45c199bb290

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

%LICENSE%
BSD3

%ARCH%
x86_64

%BUILDDATE%
1756751907

%PACKAGER%
AUR Builder <luca+aurbuilder@acul.me>

%CONFLICTS%
cvc5-bin
cvc5-bestperformance

%PROVIDES%
cvc5=1.3.0

%DEPENDS%
gmp
cadical
libpoly
symfpu-cvc5
libedit
libbsd

%OPTDEPENDS%
python-cvc5: Python bindings for cvc5

%MAKEDEPENDS%
bash
gcc
cmake
python3
python-tomli
python-pyparsing
python-scikit-build
cython
java-environment
mold
python-pexpect

%CHECKDEPENDS%
cmake

