This project is read-only.

CADE-24 Win 32 bits binaries

Rating: No reviews yet
Downloads: 74
Released: Jan 20, 2013
Updated: Jan 21, 2013 by leodemoura
Dev status: Beta Help Icon

Recommended Download

Application cadewin32
application, 6019K, uploaded Jan 21, 2013 - 74 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.