可满足性求解程序zchaff 上传者：u42212 2019-03-04 18:10:58上传 其他文件 500kb 热度 46次 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 码姐姐匿名网友 2019-03-04 18:10:58 请教一下，vs2010中使用需要使用satlib.a的链接库，找了半天找不到，能否提供一下谢谢 码姐姐匿名网友 2019-03-04 18:10:58 同楼上，下载了但是不懂怎么用。。。慢慢研究吧 码姐姐匿名网友 2019-03-04 18:10:58 下了但是不知道怎么用。看不懂英文说明。谢谢分享 码姐姐匿名网友 2019-03-04 18:10:58 用了，可以用，速度不错 发表评论
请教一下，vs2010中使用需要使用satlib.a的链接库，找了半天找不到，能否提供一下谢谢
同楼上，下载了但是不懂怎么用。。。慢慢研究吧
下了但是不知道怎么用。看不懂英文说明。谢谢分享
用了，可以用，速度不错