AUR (en) - bitwuzla

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Git Clone URL:	https://aur.archlinux.org/bitwuzla.git (read-only, click to copy)
Package Base:	bitwuzla
Description:	Documentation for the Bitwuzla SMT solver
Upstream URL:	https://bitwuzla.github.io
Licenses:	MIT
Submitter:	meadow
Maintainer:	meadow
Last Packager:	meadow
Votes:	1
Popularity:	0.005585
First Submitted:	2024-03-30 17:19 (UTC)
Last Updated:	2026-03-18 16:00 (UTC)

cmake (cmake3^AUR, cmake-git^AUR) (make)
cython (cython-git^AUR) (make)
doxygen (doxygen-git^AUR) (make)
git (git-git^AUR, git-gl^AUR, git-wd40^AUR) (make)
gtest (googletest-git^AUR) (make)
meson (meson-git^AUR) (make)
ninja (ninja-git^AUR, ninja-mem^AUR, ninja-noemacs-git^AUR, ninja-kitware^AUR, ninja-fuchsia-git^AUR, n2-ninja-symlink^AUR) (make)
python (make)
python-breathe (make)
python-pytest (make)
python-sphinx (python-sphinx-git^AUR) (make)
python-sphinx-tabs (make)
python-sphinxcontrib-bibtex^AUR (make)
python-sphinx_rtd_theme (make)
symfpu-cvc5^AUR (make)
aiger^AUR (optional) – Utilities for And-Inverter Graphs (AIGs)
cadical^AUR (optional) – CaDiCaL support
python (optional) – Python bindings