This project is read-only.

1.0.21125.0, updated SscBoogie

Rating: No reviews yet
Downloads: 149
Updated: May 17, 2010 by rustanleino
Dev status: Planning Help Icon

Recommended Download

application, 5616K, uploaded May 17, 2010 - 149 downloads

Release Notes

The Spec# verifier in this binary release is able to make use of Z3 version (2.0 through) 2.6.