Searched defs:SMTLib2 (Results 1 – 1 of 1) sorted by relevance
1886 data SMTLibVersion = SMTLib2 constructor1891 smtLibVersionExtension SMTLib2 = "smt2" function