z3

Edit Package z3
https://github.com/Z3Prover/z3/wiki

Z3 is a Satisfiability Modulo Theories (SMT) solver and integrates several decision procedures: Linear real and integer arithmetic, fixed-size bit vectors, uninterpreted functions, extensional arrays, quantifiers and model generation.

Refresh
Refresh
Source Files
Filename Size Changed
_scmsync.obsinfo 0000000162 162 Bytes
build.specials.obscpio 0000000256 256 Bytes
python-use-non-devel-so.patch 0000005299 5.17 KB
z3-4.15.0.tar.gz 0005862165 5.59 MB
z3.changes 0000071829 70.1 KB
z3.spec 0000003478 3.4 KB
Comments 0
No comments available
openSUSE Build Service is sponsored by