Make the domain, cdcl_sat::clause, etc. fmt::format and compatible

[codecov[bot]]

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Comparison is base (be674e1) 96.15% compared to head (da62d32) 96.31%.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #23 +/- ## ========================================== + Coverage 96.15% 96.31% +0.16% ========================================== Files 20 20 Lines 1561 1576 +15 Branches 1133 1145 +12 ========================================== + Hits 1501 1518 +17 - Misses 10 11 +1 + Partials 50 47 -3 ``` | [Flag](https://app.codecov.io/gh/michael-veksler/solver/pull/23/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/23/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `61.09% <57.14%> (-0.17%)` | :arrow_down: | | [Windows](https://app.codecov.io/gh/michael-veksler/solver/pull/23/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `99.34% <100.00%> (+<0.01%)` | :arrow_up: | | [macOS](https://app.codecov.io/gh/michael-veksler/solver/pull/23/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `35.93% <22.53%> (-0.15%)` | :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.

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