Refactor core::resolver::sat

[ken-matsui]

No description provided.

[codecov]

Codecov Report

Merging #365 (be8d7dd) into master (5020c5e) will decrease coverage by 0.02%.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##           master     #365      +/-   ##
==========================================
- Coverage   78.24%   78.21%   -0.03%     
==========================================
  Files          52       52              
  Lines        2418     2415       -3     
==========================================
- Hits         1892     1889       -3     
  Misses        526      526              

Impacted Files	Coverage Δ
include/poac/core/resolver/sat.hpp	91.86% <100.00%> (-0.28%)	⬇️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 5020c5e...1c4e0cc. Read the comment docs.