[feat] Added Bitwuzla solver in list of available solvers.

[S1eGa]

No description provided.

[codecov-commenter]

Codecov Report

Merging #158 (c89bdab) into main (82b0cfd) will increase coverage by 0.64%.
Report is 7 commits behind head on main.
The diff coverage is 80.55%.

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

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #158      +/-   ##
==========================================
+ Coverage   66.95%   67.60%   +0.64%     
==========================================
  Files         221      224       +3     
  Lines       30054    31251    +1197     
  Branches     6603     6858     +255     
==========================================
+ Hits        20123    21126    +1003     
- Misses       7412     7521     +109     
- Partials     2519     2604      +85     

Files	Coverage Δ
lib/Module/KModule.cpp	81.38% <100.00%> (-0.07%)	⬇️
lib/Solver/CexCachingSolver.cpp	66.09% <100.00%> (ø)
lib/Solver/ConcretizingSolver.cpp	58.38% <100.00%> (ø)
lib/Solver/IndependentSolver.cpp	71.69% <100.00%> (ø)
lib/Solver/SolverCmdLine.cpp	100.00% <ø> (ø)
tools/klee/main.cpp	60.90% <ø> (+0.05%)	⬆️
lib/Solver/BitwuzlaBuilder.h	75.00% <75.00%> (ø)
lib/Module/ModuleUtil.cpp	46.52% <66.66%> (+1.01%)	⬆️
lib/Solver/CoreSolver.cpp	66.66% <66.66%> (+3.03%)	⬆️
lib/Core/Executor.cpp	74.46% <60.00%> (+0.14%)	⬆️
... and 2 more

... and 5 files with indirect coverage changes