GitHub - pramodsetlur/Logic-Inference: To infer logic using First Order Logic

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
.settings		.settings
bin		bin
src		src
.classpath		.classpath
.project		.project
input.txt		input.txt
input1.txt		input1.txt
input2.txt		input2.txt
input3.txt		input3.txt
input4.txt		input4.txt
input5.txt		input5.txt
input6.txt		input6.txt
input7.txt		input7.txt
input8.txt		input8.txt
output.txt		output.txt