Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: bitwuzla 0.4.0-1

Package Actions

Git Clone URL:	https://aur.archlinux.org/bitwuzla.git (read-only, click to copy)
Package Base:	bitwuzla
Description:	SMT solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations
Upstream URL:	https://bitwuzla.github.io
Licenses:	MIT
Provides:	bitwuzla.cpython-311-x86_64-linux-gnu.so, libbitwuzla.so, libbitwuzlabb.so, libbitwuzlabv.so, libbitwuzlals.so
Submitter:	meadow
Maintainer:	meadow
Last Packager:	meadow
Votes:	0
Popularity:	0.000000
First Submitted:	2024-03-30 17:19 (UTC)
Last Updated:	2024-03-30 17:19 (UTC)

Dependencies (21)

gcc-libs (gccrs-libs-git^AUR, gcc11-libs^AUR, gcc-libs-git^AUR)
glibc (glibc-git^AUR, glibc-linux4^AUR, glibc-eac^AUR)
gmp (gmp-hg^AUR)
kissat^AUR
cadical^AUR (cadical-pic^AUR) (make)
cmake (cmake-git^AUR) (make)
cython (cython-git^AUR, cython0) (make)
doxygen (doxygen-git^AUR) (make)
meson (meson-git^AUR, meson-rust^AUR) (make)
ninja (ninja-kitware^AUR, ninja-mem^AUR, ninja-fuchsia-git^AUR, ninja-git^AUR) (make)
python (python32^AUR, python37^AUR, python311^AUR, python310^AUR) (make)
python-breathe (make)
python-sphinx (python-sphinx-git^AUR) (make)
python-sphinx-tabs (make)
python-sphinxcontrib-bibtex (make)
python-sphinx_rtd_theme (make)
symfpu-cvc5^AUR (make)
gtest (googletest-git^AUR) (check)
python-pytest (python-pytest7) (check)
cryptominisat5 (cryptominisat5-git^AUR) (optional) – Support for the CryptoMiniSat SAT solver
Show 1 more dependencies...

Required by (1)

binsec (optional)

Sources (4)