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: [email protected]
Reporter: [email protected]
QA Contact: [email protected]
CC: [email protected]
Spec URL: https://jjames.fedorapeople.org/z3/z3.spec
SRPM URL:
https://jjames.fedorapeople.org/z3/z3-4.3.2-1.20150327git.ac21ffe.fc23.src.rpm
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
_______________________________________________
package-review mailing list
[email protected]
https://admin.fedoraproject.org/mailman/listinfo/package-review
