CADE-24 Win 32 bits binaries

Rating: No reviews yet

Downloads: 14

Released: Jan 20, 2013

Updated: Jan 21, 2013 by leodemoura

Dev status: Beta Help Icon

Recommended Download

cadewin32

application, 6019K, uploaded Jan 21 - 14 downloads

Release Notes

Supplementary Material for the paper: "Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals"
Pre-compiled binaries for Windows 32 bits.

This is not a Z3 official release.

Reviews for this release

No reviews yet for this release.

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...

CADE-24 Win 32 bits binaries

Recommended Download

Release Notes

Reviews for this release

Opera does not support ClickOnce X

Other Downloads

X