# Generated by makepkg 7.1.0
# using fakeroot version 1.37.2
pkgname = bitwuzla
pkgbase = bitwuzla
xdata = pkgtype=pkg
pkgver = 0.9.0-1
pkgdesc = SMT solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations
url = https://github.com/bitwuzla/bitwuzla
builddate = 1773880601
packager = Garuda Builder <team@garudalinux.org>
size = 6451543
arch = x86_64
license = MIT
provides = libbitwuzlabv.so=libbitwuzlabv.so-64
provides = libbitwuzlabb.so=libbitwuzlabb.so-64
provides = libbitwuzlals.so=libbitwuzlals.so-64
provides = libbitwuzla.so=0-64
depend = cryptominisat
depend = glibc
depend = gmp>=6.1
depend = kissat
depend = libgcc
depend = libstdc++
depend = mpfr
optdepend = aiger: Utilities for And-Inverter Graphs (AIGs)
optdepend = cadical: CaDiCaL support
optdepend = python>=3.7: Python bindings
makedepend = cmake
makedepend = cython
makedepend = doxygen
makedepend = git
makedepend = gtest
makedepend = meson>=0.64
makedepend = ninja
makedepend = python-breathe
makedepend = python-pytest
makedepend = python-sphinx
makedepend = python-sphinx-tabs
makedepend = python-sphinx_rtd_theme
makedepend = python-sphinxcontrib-bibtex
makedepend = python>=3.7
makedepend = symfpu-cvc5
