Python based command-line tool for solving propositional calculus.