pps2 (npm): Propositional proof system
Keywords: sat|propositional-proof-system