Turbo-Charging Lemmas on Demand with Don't Care Reasoning

Overview

This site provides binaries and log files supplementing our submission to FMCAD 2014 and is intended for reviewing purposes only.
You are not allowed to use any of the materials provided otherwise.

Download

See the README file for further instructions.