[ forky ]
[ 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
- risolutore SMT per array e vettori di bit (collegamenti Python)
Other Packages Related to bitwuzla
|
|
-
- adep: debhelper-compat (= 13)
- Package not available
-
- adep: dh-sequence-python3
- virtual package provided by dh-python
-
- adep: cython3
- estensioni C per Python 3
-
- adep: doxygen
- generazione di documentazione da codice sorgente
-
- adep: git
- sistema di controllo revisioni veloce, scalabile, distribuito
-
- adep: help2man
- generatore automatico di pagine man
-
- adep: libcadical-dev
- risolutore semplificato di soddisfacibilità (file di sviluppo)
-
- adep: libgmp-dev
- libreria aritmetica a precisione multipla, strumenti di sviluppo
-
- adep: libgtest-dev
- infrastruttura di Google per scrivere test C++
-
- adep: libpython3-dev
- file header e libreria statica per Python (predefinito)
-
- adep: libsymfpu-dev
- Symbolic Floating Point Unit
-
- adep: meson
- sistema di compilazione per produttività elevata
-
- adep: ninja-build
- piccolo sistema di compilazione più vicino allo spirito di Make
-
- adep: pkgconf
- gestisce i flag di compilazione e di link delle librerie
-
- adep: pybuild-plugin-pyproject
- strumenti ausiliari Debian per pacchettizzare librerie Python usando PEP517
-
- adep: python3-breathe
- gestione di autodox per Sphinx per linguaggi con gestione di doxygen (Python 3)
-
- adep: python3-mesonpy
- Meson PEP 517 Python build backend
-
- adep: python3-pytest
- sistema per test semplice e potente in Python 3
-
- adep: python3-sphinx
- generatore di documentazione per progetti Python
-
- adep: python3-sphinx-rtd-theme
- tema sphinx da readthedocs.org (Python 3)
-
- adep: python3-sphinx-tabs
- Tabbed views for Sphinx
-
- adep: python3-sphinxcontrib.bibtex
- estensione Sphinx per citazioni in stile BibTeX
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