PropLogic-0.9.0.2: A system for propositional logic with default and fast instances of propositional algebras.