Move some SAT types and functions to common header.

[codecov[bot]]

Codecov Report

Attention: 5 lines in your changes are missing coverage. Please review.

Comparison is base (c8f4a6c) 62.67% compared to head (c6b9a43) 62.90%.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #8 +/- ## ========================================== + Coverage 62.67% 62.90% +0.23% ========================================== Files 10 10 Lines 651 647 -4 Branches 492 487 -5 ========================================== - Hits 408 407 -1 + Misses 172 149 -23 - Partials 71 91 +20 ``` | [Flag](https://app.codecov.io/gh/michael-veksler/solver/pull/8/flags?src=pr&el=flags&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | Coverage Δ | | |---|---|---| | [Linux](https://app.codecov.io/gh/michael-veksler/solver/pull/8/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `27.73% <18.18%> (+0.23%)` | :arrow_up: | | [Windows](https://app.codecov.io/gh/michael-veksler/solver/pull/8/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `68.81% <100.00%> (ø)` | | | [macOS](https://app.codecov.io/gh/michael-veksler/solver/pull/8/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `27.44% <18.18%> (+0.31%)` | :arrow_up: | Flags with carried forward coverage won't be shown. [Click here](https://docs.codecov.io/docs/carryforward-flags?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#carryforward-flags-in-the-pull-request-comment) to find out more. | [Files](https://app.codecov.io/gh/michael-veksler/solver/pull/8?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | Coverage Δ | | |---|---|---| | [fuzz\_test/fuzz\_all\_sat.cpp](https://app.codecov.io/gh/michael-veksler/solver/pull/8?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-ZnV6el90ZXN0L2Z1enpfYWxsX3NhdC5jcHA=) | `42.59% <ø> (+0.92%)` | :arrow_up: | | [src/solver\_library/trivial\_sat.cpp](https://app.codecov.io/gh/michael-veksler/solver/pull/8?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-c3JjL3NvbHZlcl9saWJyYXJ5L3RyaXZpYWxfc2F0LmNwcA==) | `92.00% <100.00%> (+1.30%)` | :arrow_up: | | [test/test\_trivial\_sat.cpp](https://app.codecov.io/gh/michael-veksler/solver/pull/8?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-dGVzdC90ZXN0X3RyaXZpYWxfc2F0LmNwcA==) | `94.81% <93.10%> (-0.90%)` | :arrow_down: | | [include/solver/trivial\_sat.hpp](https://app.codecov.io/gh/michael-veksler/solver/pull/8?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-aW5jbHVkZS9zb2x2ZXIvdHJpdmlhbF9zYXQuaHBw) | `84.61% <62.50%> (ø)` | | ... and [1 file with indirect coverage changes](https://app.codecov.io/gh/michael-veksler/solver/pull/8/indirect-changes?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler)

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.