Z3 4.1.2

Rating:        Based on 2 ratings
Reviewed:  1 review
Downloads: 1490
Released: Oct 4, 2012
Updated: Jan 5, 2013 by leodemoura
Dev status: Stable Help Icon

Recommended Download

Application z3 4.1.2
application, 7175K, uploaded Oct 4, 2012 - 1490 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