Implement trivial_sat solver

[codecov-commenter]

Codecov Report

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

Comparison is base (fc19a02) 48.18% compared to head (dc03c90) 63.85%.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #6 +/- ## =========================================== + Coverage 48.18% 63.85% +15.66% =========================================== Files 7 10 +3 Lines 386 592 +206 Branches 279 432 +153 =========================================== + Hits 186 378 +192 - Misses 157 179 +22 + Partials 43 35 -8 ``` | [Flag](https://app.codecov.io/gh/michael-veksler/solver/pull/6/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/6/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `24.95% <35.14%> (+3.93%)` | :arrow_up: | | [Windows](https://app.codecov.io/gh/michael-veksler/solver/pull/6/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%> (+18.66%)` | :arrow_up: | | [macOS](https://app.codecov.io/gh/michael-veksler/solver/pull/6/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `26.15% <37.93%> (+7.14%)` | :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/6?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | Coverage Δ | | |---|---|---| | [include/solver/binary\_domain.hpp](https://app.codecov.io/gh/michael-veksler/solver/pull/6?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-aW5jbHVkZS9zb2x2ZXIvYmluYXJ5X2RvbWFpbi5ocHA=) | `90.32% <100.00%> (-3.43%)` | :arrow_down: | | [test/binary\_domain.cpp](https://app.codecov.io/gh/michael-veksler/solver/pull/6?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-dGVzdC9iaW5hcnlfZG9tYWluLmNwcA==) | `100.00% <100.00%> (ø)` | | | [include/solver/state\_saver.hpp](https://app.codecov.io/gh/michael-veksler/solver/pull/6?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-aW5jbHVkZS9zb2x2ZXIvc3RhdGVfc2F2ZXIuaHBw) | `83.33% <83.33%> (ø)` | | | [include/solver/trivial\_sat.hpp](https://app.codecov.io/gh/michael-veksler/solver/pull/6?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-aW5jbHVkZS9zb2x2ZXIvdHJpdmlhbF9zYXQuaHBw) | `84.00% <84.00%> (ø)` | | | [src/solver\_library/trivial\_sat.cpp](https://app.codecov.io/gh/michael-veksler/solver/pull/6?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-c3JjL3NvbHZlcl9saWJyYXJ5L3RyaXZpYWxfc2F0LmNwcA==) | `90.24% <90.24%> (ø)` | | | [test/test\_trivial\_sat.cpp](https://app.codecov.io/gh/michael-veksler/solver/pull/6?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-dGVzdC90ZXN0X3RyaXZpYWxfc2F0LmNwcA==) | `95.65% <95.65%> (ø)` | | ... and [3 files with indirect coverage changes](https://app.codecov.io/gh/michael-veksler/solver/pull/6/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.