多くのSMTソルバが対応するSMT2形式の記述方法を説明します。