Add converter to hard constraints

[GiggleLiu]

fix #154

This PR provides some new APIs to convert EXTREMA type of constraints to hard constraints.

CircuitSATHard
SatisfiabilityHard
KSatisfiabilityHard
ColoringHard

[GiggleLiu]

@isPANN Wondering if this could fix your issue.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 94.45%. Comparing base (8b29f55) to head (cf6557d).
⚠️ Report is 1 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #155      +/-   ##
==========================================
+ Coverage   94.43%   94.45%   +0.02%     
==========================================
  Files          40       40              
  Lines        1778     1786       +8     
==========================================
+ Hits         1679     1687       +8     
  Misses         99       99              

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

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[isPANN]

Looks great! And should we overload reduceto? The current code in BooleanInference uses this API.

[GiggleLiu]

Looks great! And should we overload reduceto? The current code in BooleanInference uses this API.

I do not think so, since it is a unified API for every problem reduction, please change the downstream code accordingly. Changing the API is very tricky.