xerocross.vulcan (npm): A resolution-based propositional logic tool
Keywords: propositional|logic