https://bugzilla.redhat.com/show_bug.cgi?id=1206826
Bug ID: 1206826
Summary: Review Request: z3 - Satisfiability Module Theories
(SMT) solver
Product: Fedora
Version: rawhide
Component: Package Review
Severity: medium
Priority: medium
Assignee: nobody(a)fedoraproject.org
Reporter: loganjerry(a)gmail.com
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Spec URL:
https://jjames.fedorapeople.org/z3/z3.spec
SRPM URL:
https://jjames.fedorapeople.org/z3/z3-4.3.2-1.20150327git.ac21ffe.fc23.sr...
Fedora Account System Username: jjames
Description: Z3 is a satisfiability modulo theories (SMT) solver; given a set
of constraints with variables, it reports a set of values for those variables
that would meet the constraints. The Z3 input format is an extension of the
one defined by the SMT-LIB 2.0 standard. Z3 supports arithmetic, fixed-size
bit-vectors, extensional arrays, datatypes, uninterpreted functions, and
quantifiers.
--
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component