[ etiona ]
[ Източник: z3 ]
Пакет: python-z3 (4.4.1-0.3build4)
Връзки за python-z3
Ресурси за Trisquel:
Изтегляне на пакет-източник z3.
Отговорник:
Original Maintainer:
- Michael Tautschnig
Външни препратки:
- Начална страница [github.com]
Подобни пакети:
theorem prover from Microsoft Research - Python 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 API.
Други пакети, свързани с python-z3
|
|
|
Изтегляне на python-z3
| Архитектура | Големина на пакета | Големина след инсталиране | Файлове |
|---|---|---|---|
| amd64 | 65,5 кБ | 541 кБ | [списък на файловете] |
| i386 | 65,5 кБ | 541 кБ | [списък на файловете] |