Add support for Floating-Point theory (currently cvc5 only) - #428

Add support for Floating-Point theory (currently cvc5 only)#428

augustomafra wants to merge 15 commits into

stanford-centaur:mainstanford-centaur/smt-switch:mainfrom

augustomafra:floating_point_theory_v2augustomafra/smt-switch:floating_point_theory_v2Copy head branch name to clipboard