A library for basic querying of a propositional logic knowledge base
reidswan / propositional Goto Github PK
View Code? Open in Web Editor NEWEngine for deciding entailment in propositional logic using the tableau method
License: BSD 3-Clause "New" or "Revised" License