Michael.veksler/cdcl sat

[codecov[bot]]

Codecov Report

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

Comparison is base (0aebaba) 63.88% compared to head (bb0c201) 73.43%.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #10 +/- ## ========================================== + Coverage 63.88% 73.43% +9.55% ========================================== Files 10 13 +3 Lines 659 1039 +380 Branches 487 747 +260 ========================================== + Hits 421 763 +342 - Misses 162 185 +23 - Partials 76 91 +15 ``` | [Flag](https://app.codecov.io/gh/michael-veksler/solver/pull/10/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/10/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `31.68% <38.98%> (+3.95%)` | :arrow_up: | | [Windows](https://app.codecov.io/gh/michael-veksler/solver/pull/10/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `80.82% <98.25%> (+10.84%)` | :arrow_up: | | [macOS](https://app.codecov.io/gh/michael-veksler/solver/pull/10/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `32.04% <39.76%> (+4.60%)` | :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/10?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/10?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-aW5jbHVkZS9zb2x2ZXIvYmluYXJ5X2RvbWFpbi5ocHA=) | `94.02% <ø> (ø)` | | | [include/solver/cdcl\_sat.hpp](https://app.codecov.io/gh/michael-veksler/solver/pull/10?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-aW5jbHVkZS9zb2x2ZXIvY2RjbF9zYXQuaHBw) | `85.36% <85.36%> (ø)` | | | [test/test\_cdcl\_sat.cpp](https://app.codecov.io/gh/michael-veksler/solver/pull/10?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-dGVzdC90ZXN0X2NkY2xfc2F0LmNwcA==) | `95.71% <95.71%> (ø)` | | | [src/solver\_library/cdcl\_sat.cpp](https://app.codecov.io/gh/michael-veksler/solver/pull/10?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-c3JjL3NvbHZlcl9saWJyYXJ5L2NkY2xfc2F0LmNwcA==) | `86.93% <86.93%> (ø)` | | ... and [1 file with indirect coverage changes](https://app.codecov.io/gh/michael-veksler/solver/pull/10/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.