SMT Compatible

No
Yes