diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-03 11:50:10 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-03 11:50:15 -0400 |
| commit | bd05758bc141f0b922916b63089e7e8748f8da31 (patch) | |
| tree | 0702eda96a43b70538b0e87a26c19c7c25597db9 /NEWS | |
| parent | 3a29fafdb098d82ba56cdc02af7f1b0981a74d02 (diff) | |
SMT-LIB parser support for array constants (Z3 syntax).
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions