[ sid ]
Quellcode-Paket: bitwuzla (0.8.2-1)
Links für bitwuzla
Debian-Ressourcen:
- Fehlerberichte
- Entwicklerinformationen
- Debian-Changelog
- Copyright-Datei
- Debian-Quellcode-Depot (Git)
- Debian Patch-Überblick
Betreuer:
Externe Ressourcen:
- Homepage [github.com]
Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
- 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)
Andere Pakete mit Bezug zu bitwuzla
|
|
-
- adep: debhelper-compat (= 13)
- Paket nicht verfügbar
-
- adep: dh-sequence-python3
- virtuelles Paket, bereitgestellt durch dh-python
-
- adep: cython3
- C-Extensions for Python 3
-
- adep: doxygen
- Generate documentation from source code
-
- adep: git
- Schnelles, skalierbares, verteiltes Versionskontrollsystem
-
- adep: help2man
- Automatischer Handbuchseiten-Generator
-
- adep: libcadical-dev
- Simplified Satisfiability Solver (development files)
-
- adep: libgmp-dev
- Mehrfach genaue Arithmetikbibliothek - Entwicklungswerkzeuge
-
- 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
- Verwaltung der Compiler- und Linker-Schalter für Bibliotheken
-
- 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
- Dokumentationsgenerator für Python-Projekte
-
- 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
-
- adep: quilt
- Tool to work with series of patches
Download bitwuzla
| Datei | Größe (in kB) | MD5-Prüfsumme |
|---|---|---|
| bitwuzla_0.8.2-1.dsc | 2,5 kB | 272e651f242a17d0ad3ad7c15ebed598 |
| bitwuzla_0.8.2.orig.tar.gz | 2.031,6 kB | 71171801c3e31351367eddf6c1acf183 |
| bitwuzla_0.8.2-1.debian.tar.xz | 4,1 kB | c0cf8aab39aceb39137e13289687259b |
- Quellcode-Depot des Debian-Pakets (VCS: Git)
- https://salsa.debian.org/science-team/bitwuzla.git
- Quellcode-Depot des Debian-Pakets (browsable)
- https://salsa.debian.org/science-team/bitwuzla