文件名称:Desktop
-
所属分类：
- 标签属性：
- 上传时间：2018-04-25
-
文件大小：5kb
-
已下载：0次
-
提 供 者：
-
相关连接：无下载说明：别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容来自于网络，使用问题请自行百度
用于求解sat可满足性问题，输入一个式子，判断是否始终满足(Solving the satisfiability problem of SAT,Enter a style to judge whether it is always satisfied)
相关搜索： sat可满足性问题
(系统自动生成,下载前可以参看下载内容)
下载文件列表
| 文件名 | 大小 | 更新时间 |
|---|---|---|
| sat.cpp | 1873 | 2018-04-19 |
| sat.dsw | 512 | 2018-04-19 |
| sat.opt | 48640 | 2018-04-19 |
| sat.plg | 240 | 2018-04-19 |
| sat.dsp | 3365 | 2018-04-19 |
| sat.ncb | 41984 | 2018-04-19 |
本网站为编程资源及源代码搜集、介绍的搜索网站，版权归原作者所有！ 粤ICP备11031372号
1999-2046 搜珍网 All Rights Reserved.