[WiP]: First step for adding alt-ergo to rsmt2. Tests not added for the moment

[mattiasdrp]

No description provided.

[codecov-commenter]

Codecov Report

Merging #20 into master will decrease coverage by 2.30%.
The diff coverage is 29.62%.

@@            Coverage Diff             @@
##           master      #20      +/-   ##
==========================================
- Coverage   66.72%   64.41%   -2.31%     
==========================================
  Files           8        8              
  Lines        1181     1200      +19     
==========================================
- Hits          788      773      -15     
- Misses        393      427      +34     

Impacted Files	Coverage Δ
src/example/simple.rs	80.00% <ø> (-0.56%)	⬇️
src/lib.rs	0.00% <ø> (-2.64%)	⬇️
src/parse.rs	62.06% <ø> (-1.47%)	⬇️
src/conf.rs	19.44% <24.00%> (-0.25%)	⬇️
src/example/mod.rs	80.00% <100.00%> (ø)
src/solver.rs	88.00% <100.00%> (-0.08%)	⬇️
src/example/print_time.rs	81.50% <0.00%> (-5.45%)	⬇️
src/common.rs	46.42% <0.00%> (-1.85%)	⬇️
... and 2 more

---

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 4a20373...8adfdd3. Read the comment docs.