4 ms·Undecidable in general, but you can compile many to SMTLIB and let Z3 crunch them.by crb002 9y agoUndecidable in general, but you can compile many to SMTLIB and let Z3 crunch them.