diff options
| author | Tim King <taking@cs.nyu.edu> | 2013-04-02 14:51:06 -0400 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2013-04-02 15:06:48 -0400 |
| commit | de93aad21f843d54d02d0304343dffcb36dc2e09 (patch) | |
| tree | 8a07584e422f95d1b0416d7fdaba24cef765d6bd /.cproject | |
| parent | 166bbd9c5716e646769cdc38aaeff3bd75de94f8 (diff) | |
Making arithmetic model reversion on unsat checks an option.
Diffstat (limited to '.cproject')
0 files changed, 0 insertions, 0 deletions