There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
Inference engine for propositional logic in Software based on the Truth Table (TT) checking, and Backward Chaining (BC) and Forward Chaining (FC) algorithms