Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
オプションで起動した後、Z3 のバージョンを取得できます-smt2 -inか? 何かのようなもの
-smt2 -in
(get-z3-version) ; Z3 4.3.2 x64 // Desired reply