Topic: "logic-parser"
neeraj-395/qmac
An implementation of the Quine-McCluskey-Algorithm for Boolean function minimization, written in C.
Language: C - Size: 17.6 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 3 - Forks: 0
shadowbourne/first-order-logic-parser
2nd Year: 1st - 97. A full parser for first order logic, producing a parse tree (png) and a grammar containing all production rules and symbols, along with a log file.
Language: Python - Size: 826 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0
