ats-extsolve-smt2 (npm): For solving ATS-constraints externally
Keywords: ATS|ATS-extsolve|ATS-extsolve-smt2