diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-11-26 17:08:45 +0100 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-11-26 17:08:45 +0100 |
commit | 670cc5fccd6e98e88c9eeedfede07d053faad26e (patch) | |
tree | 12017fc9f237a1bfc2bc411fd030ef92b6068c54 /src/cvc4.i | |
parent | 365d6022b5742fc6910363e04e873b26e221bb05 (diff) |
Update to new implementation of single invocation partition by default.
Diffstat (limited to 'src/cvc4.i')
0 files changed, 0 insertions, 0 deletions