GitHub repository: nujiak/logic-solver
Primary language: C++
Description: Propositional and quantificational logic solver that proves/refutes logical arguments by contradiction. Inspired by methods taught in NUS GET1028/GEX1014