TableauxProofTool is an automated theorem prover for propositional logic based on tableaux methods