» Ubuntu » Paketit » tenacious » science » boolector
[  jammy  ] [  noble  ] [  resolute  ] [  stonking  ] [  tenacious  ]
[ Source: boolector  ]

Paketti: boolector (3.2.4-1) [universe]

Tietoa

Screenshot

published in section universe

Ubuntu-palvelut:

Source Package boolector:

Ylläpitäjä:

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

Original Maintainers (usually from Debian):

  • Debian Science Maintainers (Mail Archive)
  • Michael Tautschnig
  • Andreas Tille

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

External Resources:

Samankaltaisia paketteja:

SMT solver for bit-vectors and arrays

Muut pakettiin boolector liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances
  • dep: libbtor2parser0 (>= 1.0.2~git20250507.fb69ee3)
    library for generic parser and tools for the BTOR2 format
  • dep: libc6 (>= 2.34)
    GNU C Library: Shared libraries
  • dep: libgcc-s1 (>= 3.0) [riscv64]
    GCC support library
    dep: libgcc-s1 (>= 3.3.1) [ei armhf, riscv64]
    dep: libgcc-s1 (>= 3.5) [armhf]
  • dep: libstdc++6 (>= 4.1.1)
    GNU Standard C++ Library v3
  • dep: minisat (>= 1:2.2.1)
    Fast and lightweight SAT solver

Imuroi boolector

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
amd64 546.3 kt1,665.0 kt [tiedostoluettelo]
arm64 506.0 kt1,689.0 kt [tiedostoluettelo]
armhf 516.2 kt1,302.0 kt [tiedostoluettelo]
ppc64el 585.8 kt2,072.0 kt [tiedostoluettelo]
riscv64 574.8 kt1,433.0 kt [tiedostoluettelo]
s390x 545.7 kt1,636.0 kt [tiedostoluettelo]