A JavaScript propositional calculus solution library