diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-06-09 13:32:51 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-06-09 13:32:51 -0400 |
| commit | e2f91c1242015aaf74286fe45987afaaea5a6806 (patch) | |
| tree | 08fb09b7411756dffbf4bd3ecfd67c8775d70166 /THANKS | |
| parent | 5272664bcb8c85a81e9af8e61327797f3651c2c6 (diff) | |
| parent | cb4b1b9a4ef2bd7857d2ff04ee262dbb849874f6 (diff) | |
Merge pull request #29 from kbansal/alternatefix
Fix for emptyset in smt2 parser, sets translator to quantified logic, misc
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions