GitHub repository: HuzaifaOmar/Inference-and-Logic-Parser
Primary language: Java
Created: 2024-11-03T11:17:58Z
Description: Lab assignment for CS214: Discrete Structures, featuring a logical expression solver and an inference engine that applies inference rules (e.g., Modus Ponens, Resolution).