packagesПакет исходного кода: boolector (3.2.4-1) [universe]
О Debian
published in section universe
Ресурсы Ubuntu:
- Launchpad
- Сообщения об ошибках
- Publishing History
- Changelog
- Файл авторских прав
- Репозиторий исходного кода Debian (Git)
Сопровождающий:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Science Maintainers (Почтовый архив)
- Michael Tautschnig
- Andreas Tille
It should generally not be necessary for users to contact the original maintainer.
Внешние ресурсы:
- Сайт [boolector.github.io]
Из этого пакета исходного кода собираются следующие двоичные пакеты:
- boolector
- SMT solver for bit-vectors and arrays
Другие пакеты, относящиеся к boolector
|
|
-
- adep: debhelper-compat (= 13)
- Пакет недоступен
-
- adep: cmake
- cross-platform, open-source make system
-
- adep: libbtor2parser-dev
- development lib for generic parser and tools for the BTOR2 format
-
- adep: minisat
- Fast and lightweight SAT solver
-
- adep: zlib1g-dev
- compression library - development
Download boolector
| Файл | Размер (в Кб) | Контрольная сумма MD5 |
|---|---|---|
| boolector_3.2.4-1.dsc | 2,0 Кб | 26de97c2b2e401c62a9449f862d71767 |
| boolector_3.2.4.orig.tar.gz | 1 531,2 Кб | 8dc8026d5d3801bffecc262c6b878abf |
| boolector_3.2.4-1.debian.tar.xz | 3,2 Кб | b913d8cc4897284fadf79ad5786a9817 |
- Репозиторий пакетов исходного кода Debian (VCS: Git)
- https://salsa.debian.org/science-team/boolector.git
- Репозиторий пакетов исходного кода Debian (доступен просмотр)
- https://salsa.debian.org/science-team/boolector