首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > 其他 > csisat:一种蓝+ EUF插值工具

csisat:一种蓝+ EUF插值工具

  • 资源大小:1.74 MB
  • 上传时间:2021-06-30
  • 下载次数:0次
  • 浏览次数:0次
  • 资源积分:1积分
  • 标      签: 工具 插值 csisat EUF

资 源 简 介

CSIsat is an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementation combines the efficiency of linear programming for solving the arithmetic part with the efficiency of a SAT solver to reason about the boolean structure. CSIsat Project Home Page Please visit the CSIsat Project Home Page Documentation Tool paper at CAV 2008: CSIsat: A Tool for LA+EUF Interpolation Proc. CAV"08, LNCS 5123, pages 304-308, Springer-Verlag, 2008. API and source code documentation Tutorial coming soon. Quick reference <
VIP VIP
0.193053s