|
关注：1
2013-05-23 12:21
求翻译：使用MiniSAT对完备化模块的输出文件sat_file.txt进行求解满足模型，并写入文件sat_out.txt。在此需要使用CRead类，将其中的内容读取，以便后续的分析处理。是什么意思？ 待解决
 悬赏分：1
- 离问题结束还有
使用MiniSAT对完备化模块的输出文件sat_file.txt进行求解满足模型，并写入文件sat_out.txt。在此需要使用CRead类，将其中的内容读取，以便后续的分析处理。
问题补充： |
|
2013-05-23 12:21:38
Use and solved minisat on the output file sat_file.txt complete modules to meet the model, and write to a file sat_out.txt. Need to use cread class will read the contents, so that subsequent analysis and processing.
|
|
2013-05-23 12:23:18
Use to complete the module MiniSAT the output file, file.txt sat out the meet model, and write to the file out.txt and sat. This will need to use CRead class, which will be the content, in order to read the follow-up analysis.
|
|
2013-05-23 12:24:58
Uses MiniSAT to carry on the solution for complete module output document sat_file.txt to satisfy the model, and reads in document sat_out.txt.Uses the CRead kind in this need, content read, in order to following analysis processing.
|
|
2013-05-23 12:26:38
With MiniSAT to solve the complete module output file sat_file.txt meet the models and written to the file sat_out.txt. Need to use CRead class, which reads the contents of, for subsequent analysis.
|
|
2013-05-23 12:28:18
正在翻译，请等待...
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区
