×

CSIsat卫星

swMATH ID: 11407
软件作者: 德克·拜尔;达米安·祖弗里(Damien Zufferey);鲁帕克·马朱姆达尔
描述: CSIsat:LA+EUF的插值。我们提出了CSIsat,这是一种用于有理线性算术和等式的无量词理论的插值决策程序,具有未解释的函数符号。我们的实现结合了线性规划求解算术部分的效率和SAT求解器求解布尔结构的效率。我们通过软件验证评估工具在基准测试上的效率。二进制文件和CSIsat的源代码作为免费软件公开提供。
主页: 网址:http://www.sosy-lab.org/~dbeyer/CSIsat卫星/
相关软件: FOCI公司;公主;金刚狼;简化;z3型;爆炸;Yices公司;开放式SMT;SDPT3系统;佩里普洛;胡迪尼;快速;Eldarica公司;CPA检查器;扁平的;;Caduceus公司;厚板;Why3号机组;卡拉卡拉
引用于: 14文件

按年份列出的引文