wszystkie opcje
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Pakiet źródłowy: boolector  ]

Pakiet: boolector (1.5.118.6b56be4.121013-1 i inne)

Odnośniki dla boolector

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego boolector:

Opiekun:

Zasoby zewnętrzne:

Podobne pakiety:

SMT solver dla wektorów bitowych i tablic

Boolector jest wydajnym solverem SMT dla teorii wektorów bitowych bez kwantyfikatora, w połączeniu z bezstratną, rozszerzającą się teorią macierzy.

Znaczniki: Zaimplementowane w: C, Rola: Program

Inne pakiety związane z boolector

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie boolector

Pobierz dla wszystkich dostępnych architektur
Architektura Wersja Rozmiar pakietu Rozmiar po instalacji Pliki
mipsel 1.5.118.6b56be4.121013-1+b1 280,5 KiB882,0 KiB [lista plików]