/PL-FC-Naive

Propositional logic, forward chaining, naive implementation using lots of Python shortcuts

Primary LanguagePythonBSD 2-Clause "Simplified" LicenseBSD-2-Clause

This repository is not active