judge (hackage): An implementation of a decision procedure for classical propositional logic and justification logic.
Keywords: gpl|library|logic|program