3 ms·Surely you could just write the SMT solver in templates, right? ;)by bjz_ 11y agoSurely you could just write the SMT solver in templates, right? ;)