diff options
| author |  Michal Moskal <michal@moskal.me> | 2011-09-06 11:45:15 -0700 |
|---|---|---|
| committer | Michal Moskal <michal@moskal.me> | 2011-09-06 11:45:15 -0700 |
| commit | 0568888a48ab4424d3e5a166b3088db3557b9bd4 (patch) | |
| tree | b387462d8d874591e9066069c0fd7172d767d680 /Source/Provers/SMTLib/SMTLibProcess.cs | |
| parent | e6df57b830b1692f0968d3f3ccafb942c6f6f1e7 (diff) | |
Support multi-dimensional arrays in SMTLib2 backend (using Z3 extension though)
Diffstat (limited to 'Source/Provers/SMTLib/SMTLibProcess.cs')
0 files changed, 0 insertions, 0 deletions