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