GitHub repository: usamaSaddiq/IEngine
Primary language: Python
Created: 2018-05-23T02:43:53Z
Description: Inference engine for propositional logic.