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

Pakiet: libz3-dev (4.8.12-3.1)

Odnośniki dla libz3-dev

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego z3:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

theorem prover from Microsoft Research - development files

Z3 is a state-of-the-art theorem prover from Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories. Z3 offers a compelling match for software analysis and verification tools, since several common software constructs map directly into supported theories.

This package can be used to invoke Z3 via its C++ API.

Znaczniki: Rozwój oprogramowania: Biblioteki, Rola: Biblioteka deweloperska

Inne pakiety związane z libz3-dev

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie libz3-dev

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
armhf 88,4 KiB532,0 KiB [lista plików]