72740_73411
所属分类：Windows编程
开发工具：Python
文件大小：136KB
下载次数：2
上传日期：2015-01-21 18:57:17
上 传 者：
miguelfmendes
说明： Propositional Logic Solver developed in Python
文件列表:
output_cnf.txt (158, 2014-12-12)
output_prover.txt (867, 2014-12-12)
relatorio.pdf (125746, 2014-12-12)
final.py (78575, 2014-12-12)
input.txt (161, 2014-12-12)
近期下载者：
相关文件：
收藏者：