SMT2 format SMT solver のフォーマット, z3 とかのインターフェース crates.io: Rust Package Registry https://www.lri.fr/~conchon/TER/2013/2/SMTLIB2.pdf S式 で書く MathSAT - SMT-LIBv2 Examples