Public Repository

Last pushed: a year ago
Short Description
Occasionally-updated dependencies for the SMACK verifier including Boogie and Corral.
Full Description

Full description is empty for this repo.

Docker Pull Command
Owner
smackers