New Reduction: SAT to Circuit SAT

[SciCodePhy]

No description provided.

[GiggleLiu]

Please fix the tests @SciCodePhy

[SciCodePhy]

Please fix the tests @SciCodePhy

Resolved: Previously, the circuit SAT might return some solutions in which the total CNF (the total "variable") might be false. In the updated extract solution function, we screen out these unuseful solutions.

[codecov]

Codecov Report

Attention: Patch coverage is 95.23810% with 2 lines in your changes missing coverage. Please review.

Project coverage is 94.46%. Comparing base (982a86d) to head (e25dd4c).
Report is 10 commits behind head on main.

Files with missing lines	Patch %	Lines
src/rules/circuit_sat.jl	95.23%	2 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main      #89      +/-   ##
==========================================
+ Coverage   94.04%   94.46%   +0.41%     
==========================================
  Files          33       34       +1     
  Lines        1277     1318      +41     
==========================================
+ Hits         1201     1245      +44     
+ Misses         76       73       -3     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[GiggleLiu]

LGTM.