Name        : z3                           Relocations: (not relocatable)
Version     : 4.3.2                             Vendor: ALT Linux Team
Release     : alt1.git20141024.1.1          Build Date: Wed May 25 02:46:02 2016
Install date: (not installed)               Build Host: imz-sisyphus.hasher.altlinux.org
Group       : Sciences/Mathematics          Source RPM: (none)
Size        : 18313317                         License: Noncommercial use only
Packager    : Eugeny A. Rostovtsev (REAL) <real at altlinux.org>
URL         : http://z3.codeplex.com/
Summary     : High-performance theorem prover
Description :
Z3 is a high-performance theorem prover being developed at Microsoft
Research.