安装解压缩即可
运行Mathsat
c:\mathsat5\bin>mathsat回车
输入SMT命令即可
输入(exit)便退出
也可执行SMT_LIB2文件
c:\mathsat5\bin\mathsat -input=smt2 < 文件名.smt2
运行Mathsat
c:\mathsat5\bin>mathsat回车
输入SMT命令即可
输入(exit)便退出
也可执行SMT_LIB2文件
c:\mathsat5\bin\mathsat -input=smt2 < 文件名.smt2