Giters

karanshah0206 / iengine

Inference Engine Written in C# Using Truth Table Model Checking, Forward Chaining, Backward Chaining, and WalkSAT.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

aipredicate-logic

This repository is not active

About

Inference Engine Written in C# Using Truth Table Model Checking, Forward Chaining, Backward Chaining, and WalkSAT.

aipredicate-logic

License:MIT License

Languages

Language:C# 100.0%