CADE-24 Z3 Source code

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

Recommended Download

Source Code cade24src.tar.gz
source code, 2796K, uploaded Jan 21, 2013 - 338 downloads

Release Notes

Source code for the paper "Computation in Real Closed Infinitesimal and
Transcendental Extensions of the Rationals."

This is not an official release.

Reviews for this release

No reviews yet for this release.