文件名称:Desktop
介绍说明－－下载内容均来自于网络，请自行研究使用
用于求解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 |