Skip to content
Sections
>> Trisquel >> Paketler >> nabia >> science >> boolector
etiona  ] [  nabia  ] [  aramo  ]
[ Kaynak: boolector  ]

Paket: 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.

boolector ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • dep: libc6 (>= 2.14) [amd64]
    GNU C Library: Shared libraries
    ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb
    dep: libc6 (>= 2.4) [armhf]

boolector indir

Tüm mevcut mimariler için indir
Mimari Paket Boyutu Kurulu Boyut Dosyalar
amd64 295,4 kB782 kB [dosya listesi]
armhf 250,3 kB505 kB [dosya listesi]