trifunovski/Resolution-Theorem-Prover not found