connective

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

v1.0.0 URL: https://unpkg.com/connective@1.0.0/index.js

Open Browse Files

functional predicate higher order functions boolean propositional logic

vulcan

A resolution-based propositional logic tool

v0.2.1 URL: https://unpkg.com/vulcan@0.2.1/vulcan.js

Open Browse Files

propositional logic

plpgen

Propositional Logic Problem Generator

v1.0.0 URL: https://unpkg.com/plpgen@1.0.0/index.js

Open Browse Files

propositional Boolean logic satisfiability problem generator Sudoku

propsat

Propositional Satisfiability Checker

v2.1.0 URL: https://unpkg.com/propsat@2.1.0/index.js

Open Browse Files

propositional Boolean logic resolution tableaux satisfiability genetic algorithm walksat

xerocross.vulcan

A resolution-based propositional logic tool

v0.4.0 URL: https://unpkg.com/xerocross.vulcan@0.4.0/vulcan.js

Open Browse Files

propositional logic