Feature/egraph sat extract

[zhen8838]

1. add sat egraph extractor.
2. refactor cost model, accumulate cost by sat model.

[github-actions]

Test Results

5 459 tests  ±0   5 459 ✔️ ±0   23m 35s ⏱️ + 6m 33s
       5 suites ±0          0 💤 ±0 
       5 files   ±0          0 ❌ ±0 

Results for commit 49b55a6. ± Comparison against base commit 45c36e6.

♻️ This comment has been updated with latest results.

[codecov]

Codecov Report

Patch coverage: 87.35% and project coverage change: -0.49 ⚠️

Comparison is base (45c36e6) 85.14% compared to head (49b55a6) 84.66%.

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #963      +/-   ##
==========================================
- Coverage   85.14%   84.66%   -0.49%     
==========================================
  Files         602      605       +3     
  Lines       19066    19192     +126     
==========================================
+ Hits        16233    16248      +15     
- Misses       2833     2944     +111     

Flag	Coverage Δ
integration	48.53% <74.71%> (+1.03%)	⬆️
unit	75.82% <87.35%> (-0.43%)	⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

Impacted Files	Coverage Δ
...Nncase.EGraph/Passes/EGraphExtractors/Extractor.cs	0.00% <0.00%> (ø)
src/Nncase.Core/CostModel/Cost.cs	85.71% <66.66%> (-1.28%)	⬇️
...rc/Nncase.EGraph/Passes/EGraphExtractExtensions.cs	68.18% <68.18%> (ø)
src/Nncase.EGraph/CostModel/EGraphCostEvaluator.cs	88.70% <76.47%> (-2.35%)	⬇️
src/Nncase.Passes/PassManager.cs	90.20% <80.00%> (-0.37%)	⬇️
...rc/Nncase.Passes/Rules/Neutral/CombineTranspose.cs	95.34% <91.66%> (-0.41%)	⬇️
...ase.EGraph/Passes/EGraphExtractors/SatExtractor.cs	93.47% <93.47%> (ø)
src/Nncase.EGraph/CostModel/EGraphSatPrinter.cs	100.00% <100.00%> (ø)

... and 8 files with indirect coverage changes

☔ View full report in Codecov by Sentry.
📢 Do you have feedback about the report comment? Let us know in this issue.