Add `mrsolver` tactic, remove old MRSolver interface#1907

Merged

eddywestbrook merged 11 commits intomasterfrom mrsolver-tactic-improvements

Sep 1, 2023

+873-569

Commits on Apr 25, 2023

add refines SAW command to build refinesS terms
m-yac
committed

Commits on Apr 27, 2023

have refines command use fresh_symbolic variables
m-yac
committed

Commits on May 4, 2023

add MREvidence, keep track of Theorems and SolverStats, overhaul MRSolver commands
m-yac
committed
revert unnecessary DataTypeAssump bits of 33694b2
m-yac
committed

Commits on May 8, 2023

fix infinite loop in mrCallsFun on recursive sub-functions
m-yac
committed

Commits on Aug 14, 2023

Commits on Aug 16, 2023

remove extraneous .saw from heapster-saw Makefile
m-yac
authored

Commits on Aug 17, 2023