a simple lexer and parser for propisitional logic, a CNF conversion algorithm and validity checking on CNF. a simple cubic SAT solver on the way.
a class project for logics in computer science
a simple lexer and parser for propisitional logic, a CNF conversion algorithm and validity checking on CNF. a simple cubic SAT solver on the way.
a class project for logics in computer science