Search Criteria
Package Details: bitwuzla-git 0.4.0.r51.g31330f2-1
Package Actions
Git Clone URL: | https://aur.archlinux.org/bitwuzla-git.git (read-only, click to copy) |
---|---|
Package Base: | bitwuzla-git |
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 |
Conflicts: | bitwuzla |
Provides: | bitwuzla, 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:40 (UTC) |
Last Updated: | 2024-05-14 17:30 (UTC) |
Dependencies (22)
- gcc-libs (gccrs-libs-gitAUR, gcc11-libsAUR, gcc-libs-gitAUR, gcc-libs-snapshotAUR)
- glibc (glibc-gitAUR, glibc-linux4AUR, glibc-eacAUR)
- gmp (gmp-hgAUR)
- kissatAUR
- cadicalAUR (make)
- cmake (cmake-gitAUR) (make)
- cython (cython-gitAUR, cython0) (make)
- doxygen (doxygen-gitAUR) (make)
- git (git-gitAUR) (make)
- meson (meson-gitAUR) (make)
- ninja (ninja-kitwareAUR, ninja-memAUR, ninja-fuchsia-gitAUR, ninja-gitAUR, ninja-jobserverAUR) (make)
- python (python37AUR, python311AUR, python310AUR) (make)
- python-breathe (make)
- python-sphinx (python-sphinx-gitAUR) (make)
- python-sphinx-tabs (make)
- python-sphinxcontrib-bibtex (make)
- python-sphinx_rtd_theme (make)
- symfpu-cvc5AUR (make)
- gtest (googletest-gitAUR) (check)
- python-pytest (python-pytest7) (check)
- cryptominisat5 (cryptominisat5-gitAUR) (optional) – Support for the CryptoMiniSat SAT solver
- python (python37AUR, python311AUR, python310AUR) (optional) – Python bindings
Required by (1)
- binsec (requires bitwuzla) (optional)