projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 125b1c5) | patch
pow2: header file for pow2 solver (#6676)
authoryoni206 <yoni206@users.noreply.github.com>
Fri, 4 Jun 2021 17:01:45 +0000 (10:01 -0700)
committerGitHub <noreply@github.com>
Fri, 4 Jun 2021 17:01:45 +0000 (17:01 +0000)
commit1d5b5b32ffe14c0f0d68d0b9a5ac36147588bfae
tree9d344e7714c53975337fc36f2a656e114deb0106tree
parent125b1c56d64b6dde1638565152b86950ef3c1342commit | diff
pow2: header file for pow2 solver (#6676)

This PR adds a header file for the pow2 solver. It also includes an empty test file, to trigger compilation of the header file. The next PR will include implementations and tests.
src/CMakeLists.txt diff | blob | history
src/theory/arith/nl/pow2_solver.h [new file with mode: 0644] blob
test/unit/theory/CMakeLists.txt diff | blob | history
test/unit/theory/theory_arith_pow2_white.cpp [new file with mode: 0644] blob