Wrap MCSAT as a Nelson-Oppen theory solver in CDCL(T) architecture#611

disteph wants to merge 7 commits into

masterSRI-CSL/yices2:masterfrom

mcsat-supplement-cdcltSRI-CSL/yices2:mcsat-supplement-cdcltCopy head branch name to clipboard