diff options
| author | yoni206 <yoni206@users.noreply.github.com> | 2021-06-24 20:09:06 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-24 22:09:06 -0500 |
| commit | abd18eeb854047e13e38518c536afd16a1be448d (patch) | |
| tree | e12f69826feb922dc80f228ecbb78276ee3613a9 /src/theory/theory_inference.cpp | |
| parent | dd31ac04ed448358da613ab97a2a929df8cf8fd5 (diff) | |
pow2: Adding monotonicity lemma (#6793)
We add the lemma x<=y --> pow2(x)<=pow2(y) to the pow2 solver.
Additionally, some renaming of variables is introduced for better clarity.
Diffstat (limited to 'src/theory/theory_inference.cpp')
0 files changed, 0 insertions, 0 deletions