Search Criteria
Package Details: bitwuzla-git 0.7.0.r3.gc23b57f-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, bitwuzla-docs |
| Provides: | bitwuzla, bitwuzla-docs, 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-12-17 17:56 (UTC) |
Dependencies (19)
- cryptominisat
- gcc-libs (gcc-libs-gitAUR, gccrs-libs-gitAUR, gcc11-libsAUR, gcc-libs-snapshotAUR)
- glibc (glibc-gitAUR, glibc-linux4AUR, glibc-eacAUR, glibc-eac-binAUR, glibc-eac-rocoAUR)
- gmp (gmp-hgAUR)
- cmake (cmake-gitAUR) (make)
- cython (cython-gitAUR, cython0AUR) (make)
- doxygen (doxygen-gitAUR, doxygen-yapAUR) (make)
- git (git-gitAUR, git-glAUR) (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)
- gtest (googletest-gitAUR) (check)
- python-pytest (check)
- python (python37AUR, python311AUR, python310AUR) (optional) – Python bindings
Required by (2)
- binsec (requires bitwuzla)
- sby-nightly (requires bitwuzla) (optional)