fieg / propositional-calculus
Implementation of a Propositional Calculus in PHP
1.0
2014-06-02 22:20 UTC
Requires (Dev)
- phpunit/phpunit: ~4.1
This package is auto-updated.
Last update: 2024-11-29 04:57:51 UTC
README
Implementation of a Propositional Calculus in PHP.
Based on the book Artificial Intelligence - foundations of computational agents chapter 5 Propositions and Inference.