3 ms·You mean SMT, right?by rsrsrs86 2mo agoYou mean SMT, right?MWil 2mo agomy memory was that SMT was part of a more advanced SAT solver, as in if you want to be modern/use SOTA, your SAT solver is going to use SMT