GitHub repository: xxfast/iEngine
Primary language: C++
Created: 2016-05-03T06:50:57Z
Description: Inference engine for propositional logic in Software based on the Truth Table (TT) checking, and Backward Chaining (BC) and Forward Chaining (FC) algorithms