smt-d は情報特別演習Iを通して開発している SMT ソルバーです。
テストケースは、次のサイトから取得しました。詳しくは、各ディレクトリ内にある README.md
を参照してください。
A small SMT solver implementation for QF_UF and LRA[WIP]. 2021年度の情報特別演習Iにて書いたプログラム
smt-d は情報特別演習Iを通して開発している SMT ソルバーです。
テストケースは、次のサイトから取得しました。詳しくは、各ディレクトリ内にある README.md
を参照してください。
A small SMT solver implementation for QF_UF and LRA[WIP]. 2021年度の情報特別演習Iにて書いたプログラム
MIT License