nilqed/SNARK

SNARK - SRI's New Automated Reasoning Kit

View project on GitHub