npm.io
Propositional-proof-system Packages
pps2
Propositional proof system
sat
propositional-proof-system
3.1.0 • Published 8 years ago