4 ms·
Depends on which gates you allow in your design. But the SMT encoding is really flexible, so you can adjust it for your needs.
by Jaxan 7y ago
Depends on which gates you allow in your design. But the SMT encoding is really flexible, so you can adjust it for your needs.