GitHub - MaksimPikovskiy/cnf-converter: This program allows one to convert CNF files into a Knowledge Base and test if Knowledge Base is satisfiable or not

Name		Name	Last commit message	Last commit date
Latest commit History 13 Commits
.idea		.idea
out/production/lab2		out/production/lab2
proofSketch		proofSketch
src		src
testcases		testcases
.gitattributes		.gitattributes
lab2.iml		lab2.iml
testcases.zip		testcases.zip

About

This program allows one to convert CNF files into a Knowledge Base and test if Knowledge Base is satisfiable or not