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 /test | |
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 'test')
0 files changed, 0 insertions, 0 deletions