diff options
| author | yoni206 <yoni206@users.noreply.github.com> | 2021-06-15 15:44:52 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-15 22:44:52 +0000 |
| commit | 4ca14e808d788ef9570dda1188645783c6a11e70 (patch) | |
| tree | da87ecaf3a9aa5d789eebda94923829652fff935 /src/smt/optimization_solver.h | |
| parent | 3fb45e059eff665ed5aaf23915f3434db1e60299 (diff) | |
pow2: adding a kind, inference rules, and some implementations in the pow2 solver (#6736)
This PR is the sequel of #6676 .
It adds the `POW2` kind, inference rules that will be used in the `pow2` solver, an implementation of one function of the solver, as well as stubs for the others. The next PR will include more implementations.
Diffstat (limited to 'src/smt/optimization_solver.h')
0 files changed, 0 insertions, 0 deletions