Пакет: python3-z3 (4.13.3-1) [debports]

[ Источник:  ]

средство доказательства теорем от Microsoft Research — привязки Python 3

Z3 — это современная программа для доказательства теорем от Microsoft Research. Подробное описание смотрите в пакете z3.

Этот пакет можно использовать для вызова Z3 через его программный интерфейс Python 3.

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

• dep: libz3-dev (= 4.13.3-1)

  средство доказательства теорем от Microsoft Research — файлы для разработки

• dep: python3

  интерактивный высокоуровневый объектно-ориентированный язык (версия python3 по умолчанию)

• dep: python3-pkg-resources

  обнаружение пакетов и доступ к ресурсам через pkg_resources

Загрузка python3-z3

Загрузить для всех доступных архитектур

Архитектура	Размер пакета	В установленном виде	Файлы
sparc64 (неофициальный перенос)	81,5 Кб	637,0 Кб	[список файлов]