diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-12 18:24:54 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-16 22:28:26 -0500 |
| commit | 5186ca79710fe935d1f7ed27c4a34e913ab547e8 (patch) | |
| tree | 4f5ce4957063085f607492a6474b0d244e4b2da4 /src/proof | |
| parent | 4d9caf9782c59823fb95519b9b518b7d7f89738a (diff) | |
First attempt at incorporating LFSC proof checker into CVC4.
Diffstat (limited to 'src/proof')
0 files changed, 0 insertions, 0 deletions