Nonviolent Pigeon Manifestation

6 packages found

M
Q
P

Description

combine predicate (bool returning) functions with propositional logic connectives (and, or, not)

Keywords

Publisher

published 1.0.06 years ago
M
Q
P

Description

A resolution-based propositional logic tool

Keywords

Publisher

published 0.3.123 days ago
M
Q
P

Description

An interpreter of well-formed formulas in propositional calculus.

Keywords

Publisher

published 0.0.14 years ago
M
Q
P

Description

Propositional Satisfiability Checker

Keywords

Publisher

published 1.0.02 months ago
M
Q
P

Description

A resolution-based propositional logic tool

Keywords

Publisher

published 0.2.13 years ago
M
Q
P

Description

Propositional Logic Problem Generator

Keywords

Publisher

published 0.2.08 months ago