diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-03-10 15:15:26 +0100 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-03-10 15:15:26 +0100 |
| commit | 10df4ba0752eb23c76b9aa847e3ad116673a47b6 (patch) | |
| tree | f41eec3963b7a9d96c0ea85179227d88ae57f0f6 /.cproject | |
| parent | 8d140a28c76095e148acd64e47b5ca0a92ca09be (diff) | |
CNF proofs. Infrastructure for preprocessing proofs. Updates to smt.plf signature. Add regressions.
Diffstat (limited to '.cproject')
0 files changed, 0 insertions, 0 deletions