diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2017-10-23 22:46:50 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-23 22:46:50 -0700 |
| commit | 00e75cb0c6aedab34740b7feadb512ea3c0c7f3d (patch) | |
| tree | e046bca9e8f04be0028811682f4c4b0f6dfa475b /.clang-format | |
| parent | 2f11cfd563ef96402042e9a3b0086712de660ae6 (diff) | |
CBQI BV: Add ULT/SLT inverse handling. (#1268)
This adds inverse handling for ULT(BV), SLT(BV) and disequalities. Rewriting of inequalities and disequalities to equalities with slack can now be disabled with an option (--cbqi-bv-inv-in-dis-eq). Function solve_bv_constraint is now merged into solve_bv_lit.
Diffstat (limited to '.clang-format')
0 files changed, 0 insertions, 0 deletions