Satisfiability Modulo Theory - CDCL and Quantifiers (via stepbrobd) — discussion

#plt