alla flaggor
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Källkod: boolector  ]

Paket: boolector (1.5.118.6b56be4.121013-1.3 och andra)

Länkar för boolector

Screenshot

Debianresurser:

Hämta källkodspaketet boolector:

Ansvarig:

Externa resurser:

Liknande paket:

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.

Märken: Implemented in: C, Role: Program

Andra paket besläktade med boolector

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta boolector

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Version Paketstorlek Installerad storlek Filer
riscv64 1.5.118.6b56be4.121013-1.3+b2 301,6 kbyte611,0 kbyte [filförteckning]