Z3 4.1.2

Rating: Based on 1 rating

Reviewed: 1 review

Downloads: 1157

Released: Oct 4, 2012

Updated: Jan 5, 2013 by leodemoura

Dev status: Stable Help Icon

Recommended Download

z3 4.1.2

application, 7175K, uploaded Oct 4, 2012 - 1157 downloads

Release Notes

THIS IS AN OLD VERSION OF Z3

WE DO NOT GENERATE ZIP FILES WITH SNAPSHOTS OF THE SOURCE CODE ANYMORE.
CODEPLEX CAN GENERATE ZIP FILES FOR ANY VERSION/BRANCH/COMMIT.

GO TO THE SOURCE CODE TAB AND PRESS THE DOWNLOAD BUTTON.

Reviews for this release

It is a powerful SMT tool!
by irwintiger on Oct 15, 2012 at 7:46 AM

Other Downloads

Released | Planned

	CADE-24 examples Jan 21, 2013, Beta
	CADE-24 Win 32 bits binaries Jan 20, 2013, Beta
	CADE-24 Win 64 bits binaries Jan 20, 2013, Beta
	CADE-24 Z3 Source code Jan 20, 2013, Beta
	Z3 4.3.0 for Windows (32 bits) Nov 11, 2012, Stable
	Z3 4.3.0 for Windows (64 bits) Nov 11, 2012, Stable
	Z3 4.1.2 Oct 4, 2012, Stable
	Z3 4.1.1 source code Oct 2, 2012, Stable

e-mail icon

Release notifications

	OSX x64 unstable Planning
	Debian x64 unstable Planning
	Windows x86 unstable Planning
	Ubuntu x86 unstable Planning
	Windows x64 unstable Planning
	Ubuntu x64 unstable Planning
	FreeBSD x64 unstable Planning

Updating...