Add `DistanceCalculator` and fix performance bugs#94

Merged

misonijnik merged 12 commits intomainfrom

misonijnik/main-performance-fixes

Jun 27, 2023

Commits on Jun 27, 2023

[fix] Evaluate only one branch corresponding to the evaluated condition
misonijnik
committed
[fix] Replace multiset with a set
misonijnik
committed
[fix] Fix tricky independence related bug: `ConcretizingSolver` should consider all the dependent symcretes and get the new concretization correctly
misonijnik
committed
[fix] Symbolic size needs to be evaluated
misonijnik
committed
[chore] A few minor fixes
misonijnik
committed
[fix] Separate code related to error guided mode
misonijnik
committed
[feat] Improve `SelectExpr` simplification [feat] Consider full symbolic equalities during simplification
misonijnik
committed
[fix] Rework resolution related functions
misonijnik
committed
[fix] Collect full assigment for logging `computeInitialValues`
misonijnik
committed
Factor out distance calculations for searchers in DistanceCalculator

Victor Samoilov
authored and
misonijnik
committed
[chore] Add an easy to use build script
misonijnik
committed
[chore] Add `options.json` file
misonijnik
committed