Installion's Lion Logo

Installion.co.uk

How To Install z3 On Parrot 3.7

To install z3 just follow these instructions.

Install z3

theorem prover from Microsoft Research used to check the satisfiability of logical formulas over one or more theories. Z3 offers a compelling match for software analysis and verification tools, since several common software constructs map directly into supported theories.Parrot 3.7science4.4.1-0.3
sudo apt-get install z3

Which will install z3 and any other packages on which it depends.

Package Data

Packagez3
Version4.4.1-0.3
MaintainerMichael Tautschnig <mt@debian.org>
Home pagehttps://github.com/Z3Prover/z3
Descriptiontheorem prover from Microsoft Research used to check the satisfiability of logical formulas over one or more theories. Z3 offers a compelling match for software analysis and verification tools, since several common software constructs map directly into supported theories.
Distroparrot
Releasejollyroger
Repomain
Sectionscience

Dependencies