Implemented discrete_domain

[codecov[bot]]

Codecov Report

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

Comparison is base (47d2a3e) 87.76% compared to head (a0688ad) 89.30%.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #17 +/- ## ========================================== + Coverage 87.76% 89.30% +1.53% ========================================== Files 17 19 +2 Lines 1226 1421 +195 Branches 882 1030 +148 ========================================== + Hits 1076 1269 +193 Misses 38 38 - Partials 112 114 +2 ``` | [Flag](https://app.codecov.io/gh/michael-veksler/solver/pull/17/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/17/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `35.99% <29.76%> (-0.97%)` | :arrow_down: | | [Windows](https://app.codecov.io/gh/michael-veksler/solver/pull/17/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `97.51% <100.00%> (+0.43%)` | :arrow_up: | | [macOS](https://app.codecov.io/gh/michael-veksler/solver/pull/17/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `36.25% <29.76%> (-1.07%)` | :arrow_down: | 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/17?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | Coverage Δ | | |---|---|---| | [test/test\_binary\_domain.cpp](https://app.codecov.io/gh/michael-veksler/solver/pull/17?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-dGVzdC90ZXN0X2JpbmFyeV9kb21haW4uY3Bw) | `100.00% <ø> (ø)` | | | [test/test\_discrete\_domain.cpp](https://app.codecov.io/gh/michael-veksler/solver/pull/17?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-dGVzdC90ZXN0X2Rpc2NyZXRlX2RvbWFpbi5jcHA=) | `100.00% <100.00%> (ø)` | | | [include/solver/discrete\_domain.hpp](https://app.codecov.io/gh/michael-veksler/solver/pull/17?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-aW5jbHVkZS9zb2x2ZXIvZGlzY3JldGVfZG9tYWluLmhwcA==) | `96.07% <96.07%> (ø)` | |

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