Installlion's Logo

Installlion.com

Install or Uninstall z3 on yakkety

z3 theorem prover from Microsoft Research Ubuntu 16.10 universe/science

Package Data

Packagez3
Version4.4.1-0.3
MaintainerUbuntu Developers
Descriptiontheorem prover from Microsoft Research
Distroubuntu
Releaseyakkety
Repouniverse
Sectionuniverse/science