lukaskurz/rebyre

Tool to do a refutation by resolution on a proposition in CNF

Go