Search

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

OpenBrowse Files

functionalpredicatehigher order functionsbooleanpropositionallogic

propsat

Propositional Satisfiability Checker

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

OpenBrowse Files

propositionalBooleanlogicresolutiontableauxsatisfiabilitygenetic algorithmwalksat

vulcan

A resolution-based propositional logic tool

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

OpenBrowse Files

propositionallogic

plpgen

Propositional Logic Problem Generator

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

OpenBrowse Files

propositionalBooleanlogicsatisfiabilityproblem generatorSudoku

@mist3rbru/p-logic

v0.1.3 URL: https://unpkg.com/@mist3rbru/p-logic@0.1.3/dist/index.cjs

OpenBrowse Files

logicpropositionalmath