diff options
| author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-02-23 17:51:53 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-23 17:51:53 +0100 |
| commit | b4c832ab30dafe048334c6e47642aa12619357ef (patch) | |
| tree | b37829eb546c49fd2921a3bd841db12e6f066408 /src/expr/sequence.h | |
| parent | 7a695fd7c29af97dbcc363eb277ffeae1617cffe (diff) | |
Add proof for monomial bounds check (#5965)
This PR adds proofs for a nonlinear refinement lemma that deals with multiplication of inequalities with some term. This lemma is split into two proof rules for positive or negative factors.
Diffstat (limited to 'src/expr/sequence.h')
0 files changed, 0 insertions, 0 deletions