Is able to do resolution for propositional logic. This is a simple tool I wrote to check my results for my exercises, so it's pretty raw