diff options
| author |  qadeer <unknown> | 2010-08-29 15:43:54 +0000 |
|---|---|---|
| committer | qadeer <unknown> | 2010-08-29 15:43:54 +0000 |
| commit | 643ac18e65fbb0639198cfc2617e3ef2a8fc6d29 (patch) | |
| tree | ef448e4c780cd0a892eabf743727f99e99ee2c7a /Util | |
| parent | e9b875f97ba13669491cec76d1472f40b94efc4d (diff) | |
added a new api to Z3apiProcessTheoremProver for asserting axioms
Diffstat (limited to 'Util')
0 files changed, 0 insertions, 0 deletions