all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: z3  ]

Package: libz3-4 (4.8.12-3.1)

Links for libz3-4

Screenshot

Debian Resources:

Download Source Package z3:

Maintainers:

External Resources:

Similar packages:

provador de teoremas da Microsoft Research - bibliotecas de execução

Z3 é um provador de teoremas estado-da-arte da Microsoft Research. Pode ser usado para checar a satisfatibilidade de fórmulas lógicas sobre uma ou mais teorias. Z3 oferece uma correspondência convincente para análise de software e ferramentas de verificação, uma vez que vários construtos de software comuns são mapeados diretamente em teorias apoiadas.

Este pacote contém bibliotecas de execução. Você não deve instalá-lo manualmente.

Other Packages Related to libz3-4

  • depends
  • recommends
  • suggests
  • enhances

Download libz3-4

Download for all available architectures
Architecture Package Size Installed Size Files
armel 5,665.5 kB20,168.0 kB [list of files]