всички настройки
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Източник: z3  ]

Пакет: libz3-dev (4.4.1-1~deb10u1)

Връзки за libz3-dev

Screenshot

Ресурси за Debian:

Изтегляне на пакет-източник z3.

Отговорници:

Външни препратки:

Подобни пакети:

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.

Други пакети, свързани с libz3-dev

  • зависимости
  • препоръчани
  • предложени
  • enhances

Изтегляне на libz3-dev

Изтегляне за всички налични архитектури
Архитектура Големина на пакета Големина след инсталиране Файлове
i386 77,8 кБ455,0 кБ [списък на файловете]