fieg/propositional-calculus (packagist): Implementation of a Propositional Calculus in PHP
Keywords: artificial|intelligence|propositional|calculus|machine-learning