Welcome！[Sign In] ！[Sign Up]！
Front-page it | Collect it | [中国-简体中文]
FAQ Fav
Location:
Downloads Documents Software Engineering
Title: 72740_73411 Download
 Description: Propositional Logic Solver developed in Python
 Downloaders recently: [More information of uploader Miguel Mendes]
 To Search:
File list (Check if you may need any files): 
 

output_cnf.txt
output_prover.txt
relatorio.pdf
final.py
input.txt

CodeBus www.codebus.net