Lab assignment for CS214: Discrete Structures, featuring a logical expression solver and an inference engine that applies inference rules (e.g., Modus Ponens, Resolution).
-
Notifications
You must be signed in to change notification settings - Fork 1
HuzaifaOmar/Inference-and-Logic-Parser
About
Lab assignment for CS214: Discrete Structures, featuring a logical expression solver and an inference engine that applies inference rules (e.g., Modus Ponens, Resolution).
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published