[ sid ]
Source Package: bitwuzla (0.8.2-2)
Links for bitwuzla
Debian Resources:
- Bug Reports
- Developer Information
- Debian Changelog
- Copyright File
- Debian Source Repository (Git)
- Debian Patch Tracker
Maintainers:
External Resources:
- Homepage [github.com]
The following binary packages are built from this source package:
- bitwuzla
- SMT solver for bit vectors and arrays
- bitwuzla-dev
- SMT solver for bit vectors and arrays (development files)
- bitwuzla-doc
- Documentation for Bitwuzla
- libbitwuzla0
- SMT solver for bit vectors and arrays (runtime libraries)
- python3-bitwuzla
- SMT solver for bit vectors and arrays (Python bindings)
Other Packages Related to bitwuzla
|
|
-
- adep: debhelper-compat (= 13)
- Package not available
-
- adep: dh-sequence-python3
- virtual package provided by dh-python
-
- adep: cython3
- C-Extensions for Python 3
-
- adep: doxygen
- Generate documentation from source code
-
- adep: git
- fast, scalable, distributed revision control system
-
- adep: help2man
- Automatic manpage generator
-
- adep: libcadical-dev
- Simplified Satisfiability Solver (development files)
-
- adep: libgmp-dev
- Multiprecision arithmetic library developers tools
-
- adep: libgtest-dev
- Google's framework for writing C++ tests
-
- adep: libpython3-dev
- header files and a static library for Python (default)
-
- adep: libsymfpu-dev
- Symbolic Floating Point Unit
-
- adep: meson
- high-productivity build system
-
- adep: ninja-build
- small build system closest in spirit to Make
-
- adep: pkgconf
- manage compile and link flags for libraries
-
- adep: pybuild-plugin-pyproject
- Debian helper tools for packaging Python libraries using PEP517
-
- adep: python3-breathe
- Sphinx autodox support for languages with doxygen support (Python 3)
-
- adep: python3-mesonpy
- Meson PEP 517 Python build backend
-
- adep: python3-pytest
- Simple, powerful testing in Python3
-
- adep: python3-sphinx
- documentation generator for Python projects
-
- adep: python3-sphinx-rtd-theme
- sphinx theme from readthedocs.org (Python 3)
-
- adep: python3-sphinx-tabs
- Tabbed views for Sphinx
-
- adep: python3-sphinxcontrib.bibtex
- Sphinx extension for BibTeX style citations
Download bitwuzla
| File | Size (in kB) | MD5 checksum |
|---|---|---|
| bitwuzla_0.8.2-2.dsc | 2.5 kB | c41b80a2193e1560b3f5f8810761bc3f |
| bitwuzla_0.8.2.orig.tar.gz | 2,031.6 kB | 71171801c3e31351367eddf6c1acf183 |
| bitwuzla_0.8.2-2.debian.tar.xz | 4.3 kB | ea0a95b19a621622987070a4d85862f7 |
- Debian Package Source Repository (VCS: Git)
- https://salsa.debian.org/science-team/bitwuzla.git
- Debian Package Source Repository (Browsable)
- https://salsa.debian.org/science-team/bitwuzla