Пакет исходного кода: bitwuzla (0.8.2-3) [universe]

Ссылки для bitwuzla

Ресурсы Ubuntu:

• Сообщения об ошибках
• Ubuntu журнал изменений
• Файл авторских прав
• Репозиторий исходного кода Debian (Git)

Сопровождающий:

• Ubuntu MOTU Developers (Почтовый архив)

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

Original Maintainers (usually from Debian):

• Debian Science Maintainers (Почтовый архив)
• Gábor Németh

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

Другие пакеты, относящиеся к bitwuzla

• adep: debhelper-compat (= 14)

  Пакет недоступен

• adep: dh-sequence-python3

  виртуальный пакет, предоставляемый 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

Download bitwuzla

Репозиторий пакетов исходного кода Debian (VCS: Git)

https://salsa.debian.org/science-team/bitwuzla.git

Репозиторий пакетов исходного кода Debian (доступен просмотр)

https://salsa.debian.org/science-team/bitwuzla