uppsat:近似的SMT求解器

【文件属性】：
文件名称：uppsat:近似的SMT求解器
文件大小：2.06MB
文件格式：ZIP
更新时间：2021-04-04 03:41:32
Scala UppSAT 近似的SMT求解器 入门 克隆存储库，并使用SBT组装独立的jar。 如果要添加自定义近似值，则应将其实现为ApproximationCore对象，并将其添加到命令行选项中。 先决条件 该项目是使用SBT构建的，并且需要Scala 2.11.8或更高版本。 正在安装 git克隆... cd uuverifiers / uppsat / sbt汇编 cp target / scala-2.11 / uppsat-assembly-0.01.jar uppsat.jar NB后端必须单独安装（请参阅下文）。 运行UpSAT 要执行uppsat，请从命令行使用scala或java（请参见下文）： scala uppsat.jar -app = ijcar -backend = z3 -validator = z3示例/e2a_1.c.smt2 java -jar up