Create alpha-equvalency format solver

[dim8art]

Summary:

Checklist:

• The PR addresses a single issue. If it can be divided into multiple independent PRs, please do so.
• The PR is divided into a logical sequence of commits OR a single commit is sufficient.
• There are no unnecessary commits (e.g. commits fixing issues in a previous commit in the same PR).
• Each commit has a meaningful message documenting what it does.
• All messages added to the codebase, all comments, as well as commit messages are spellchecked.
• The code is commented OR not applicable/necessary.
• The patch is formatted via clang-format OR not applicable (if explicitly overridden leave unchecked and explain).
• There are test cases for the code you added or modified OR no such test cases are required.

[codecov-commenter]

Codecov Report

Merging #135 (1440409) into main (c3553c0) will increase coverage by 0.15%.
Report is 2 commits behind head on main.
The diff coverage is 85.35%.

❗ Current head 1440409 differs from pull request most recent head e920c44. Consider uploading reports for the commit e920c44 to get more accurate results

@@            Coverage Diff             @@
##             main     #135      +/-   ##
==========================================
+ Coverage   66.60%   66.76%   +0.15%     
==========================================
  Files         216      217       +1     
  Lines       29746    29927     +181     
  Branches     6573     6594      +21     
==========================================
+ Hits        19813    19980     +167     
+ Misses       7426     7423       -3     
- Partials     2507     2524      +17     

Files	Coverage Δ
include/klee/ADT/SparseStorage.h	89.83% <100.00%> (ø)
include/klee/Expr/Parser/Parser.h	100.00% <ø> (ø)
include/klee/Solver/SolverUtil.h	63.79% <100.00%> (+2.62%)	⬆️
lib/Core/Executor.cpp	74.71% <100.00%> (ø)
lib/Expr/SourceBuilder.cpp	78.43% <100.00%> (+1.83%)	⬆️
lib/Solver/CachingSolver.cpp	73.91% <100.00%> (+2.17%)	⬆️
lib/Solver/ConstructSolverChain.cpp	91.30% <100.00%> (+0.39%)	⬆️
lib/Solver/SolverCmdLine.cpp	100.00% <ø> (ø)
tools/kleaver/main.cpp	74.89% <100.00%> (+0.10%)	⬆️
lib/Core/Memory.cpp	75.92% <66.66%> (ø)
... and 6 more

... and 10 files with indirect coverage changes