CADE-24 Win 64 bits binaries

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

Recommended Download

application, 7400K, uploaded Jan 21, 2013 - 98 downloads

Release Notes

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

This is not a Z3 official release.

Reviews for this release

No reviews yet for this release.