[ stonking ]

Pakiet źródłowy: bitwuzla (0.8.2-3) [universe]

Odnośniki dla bitwuzla

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

It should generally not be necessary for users to contact the original maintainer.

adep: debhelper-compat (= 14)

Pakiet niedostępny
adep: dh-sequence-python3

pakiet wirtualny udostępniany przez 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-all-dev

package depending on all supported Python 3 development packages
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

Repozytorium kodu źródłowego Debiana (VCS: Git): https://salsa.debian.org/science-team/bitwuzla.git
Repozytorium kodu źródłowego Debiana (do przeglądania): https://salsa.debian.org/science-team/bitwuzla