Search results
8 packages found
A 316B implementation of Three Valued Logic in Javascript
published 1.1.0 5 years ago
M
Q
P
combine predicate (bool returning) functions with propositional logic connectives (and, or, not)
published 1.0.0 12 years ago
M
Q
P
Propositional Satisfiability Checker
published 2.1.0 a year ago
M
Q
P
Propositional Logic Problem Generator
published 1.0.0 4 years ago
M
Q
P
M
Q
P
A resolution-based propositional logic tool
published 0.4.0 a year ago
M
Q
P
A resolution-based propositional logic tool
published 0.2.1 8 years ago
M
Q
P
An interpreter of well-formed formulas in propositional calculus.
published 0.0.1 10 years ago
M
Q
P