diff options
| author |  wuestholz <unknown> | 2014-12-07 15:58:48 +0100 |
|---|---|---|
| committer | wuestholz <unknown> | 2014-12-07 15:58:48 +0100 |
| commit | 575d226a8e15efc111bfaf57f188261e12f7ef95 (patch) | |
| tree | 2a57a6b29c7dcddc1a01bb8b750c0b2500134a70 /Source/Provers/SMTLib | |
| parent | eceff3c25df3be34a5abafbb9dcb9ad550a11d33 (diff) | |
Optimized the VC generation for assumption variables.
Diffstat (limited to 'Source/Provers/SMTLib')
0 files changed, 0 insertions, 0 deletions