diff options
| author | Alex Ozdemir <aozdemir@hmc.edu> | 2019-04-23 15:58:57 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-23 15:58:57 -0700 |
| commit | df5f15a17a8f3b92ae1ea776e5cf079d61e6404c (patch) | |
| tree | e710f16059c64cc5845171e20c9c472c33f8eaba /CONTRIBUTING.md | |
| parent | 53cade050e191c7c0dc0ebfae716a21162bd9b22 (diff) | |
[BV] An option for SAT proof optimization (#2915)
* [BV] An option for SAT proof optimization
The option doesn't **do** anything yet, but exists.
* CopyPaste Fix: BvOptimizeSatProof documentation
It was the documentation for a different option. Now it has been
updated.
* Fix Typos per Mathias' review.
Co-Authored-By: alex-ozdemir <aozdemir@hmc.edu>
Diffstat (limited to 'CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions