Installion's Lion Logo

Installion.co.uk

Install or Uninstall z3 on yakkety

z3theorem prover from Microsoft ResearchUbuntu 16.10universe/science4.4.1-0.3

Package Data

Packagez3
Version4.4.1-0.3
MaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Home pagehttps://github.com/Z3Prover/z3
Descriptiontheorem prover from Microsoft Research
Distroubuntu
Releaseyakkety
Repouniverse
Sectionuniverse/science