2 ms·It is SAT that is NP-complete. SMT may be undecidable depending on your theories.by poizan42 8y agoIt is SAT that is NP-complete. SMT may be undecidable depending on your theories.