DukeBWard / resolution

First Order Logic Resolution

Takes a file with FOL statements in cnf form and computes it.
e.g. python3 res.py testcases/functions/f1.cnf

It should then only output yes or no.