Skip to content
Sections
>> Trisquel >> Paketit >> etiona >> science >> boolector
etiona  ] [  nabia  ] [  aramo  ]
[ Source: boolector  ]

Paketti: boolector (1.5.118.6b56be4.121013-1build1)

SMT solver for bit-vectors and arrays

Boolector is an efficient SMT solver for the quantifier-free theory of bit-vectors in combination with the quantifier-free extensional theory of arrays.

Muut pakettiin boolector liittyvät paketit

  • depends
  • recommends
  • suggests
  • dep: libc6 (>= 2.14) [amd64]
    GNU C Library: Shared libraries
    myös näennäispaketti, jonka toteuttaa libc6-udeb
    dep: libc6 (>= 2.4) [i386]

Imuroi boolector

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
amd64 295.4 kt782 kt [tiedostoluettelo]
i386 303.5 kt873 kt [tiedostoluettelo]