%FILENAME%
bitwuzla-0.9.0-1-x86_64.pkg.tar.zst

%NAME%
bitwuzla

%BASE%
bitwuzla

%VERSION%
0.9.0-1

%DESC%
SMT solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations

%CSIZE%
2199882

%ISIZE%
6451543

%SHA256SUM%
cac1c23ec97152edd41f39ae0cebf383832cea126a32020753bb8780bebf33d3

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1773880601

%PACKAGER%
Garuda Builder <team@garudalinux.org>

%PROVIDES%
libbitwuzlabv.so=libbitwuzlabv.so-64
libbitwuzlabb.so=libbitwuzlabb.so-64
libbitwuzlals.so=libbitwuzlals.so-64
libbitwuzla.so=0-64

%DEPENDS%
cryptominisat
glibc
gmp>=6.1
kissat
libgcc
libstdc++
mpfr

%OPTDEPENDS%
aiger: Utilities for And-Inverter Graphs (AIGs)
cadical: CaDiCaL support
python>=3.7: Python bindings

%MAKEDEPENDS%
cmake
cython
doxygen
git
gtest
meson>=0.64
ninja
python-breathe
python-pytest
python-sphinx
python-sphinx-tabs
python-sphinx_rtd_theme
python-sphinxcontrib-bibtex
python>=3.7
symfpu-cvc5

