все параметры
bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Источник: z3  ]

Пакет: python3-z3 (4.8.10-1)

Ссылки для python3-z3

Screenshot

Ресурсы Debian:

Исходный код z3:

Сопровождающие:

Внешние ресурсы:

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

theorem prover from Microsoft Research - Python 3 bindings

Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3 package for a detailed description.

This package can be used to invoke Z3 via its Python 3 API.

Другие пакеты, относящиеся к python3-z3

  • зависимости
  • рекомендации
  • предложения
  • enhances

Загрузка python3-z3

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
armhf 76,3 Кб591,0 Кб [список файлов]