Installlion's Logo

Installlion.com

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 <[email protected]>
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