npm

vulcan

A resolution-based propositional logic tool

• propositional
• logic

ryanmarcus

published 0.2.1 • 6 years agopublished 0.2.1 6 years ago

connective

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

• functional
• predicate
• higher order functions
• boolean
• propositional
• logic

jden

published 1.0.0 • 10 years agopublished 1.0.0 10 years ago

propsat

Propositional Satisfiability Checker

• propositional
• Boolean
• logic
• resolution
• tableaux
• satisfiability
• genetic algorithm
• walksat

mafu

published 1.1.0 • 2 years agopublished 1.1.0 2 years ago

plpgen

Propositional Logic Problem Generator

• propositional
• Boolean
• logic
• satisfiability
• problem generator
• Sudoku

mafu

published 1.0.0 • 2 years agopublished 1.0.0 2 years ago

tvl

A 316B implementation of Three Valued Logic in Javascript

• Logic
• Tiny
• Small
• Three
• Valued
• Three Valued Logic
• Propositional
• Propositional Logic

archanpatkar

published 1.1.0 • 3 years agopublished 1.1.0 3 years ago

xerocross.vulcan

A resolution-based propositional logic tool

• propositional
• logic

xerocross

published 0.3.1 • 4 years agopublished 0.3.1 4 years ago

llang

An interpreter of well-formed formulas in propositional calculus.

• propositional
• calculus
• interpreter
• formal
• logic
• language

nevyk

published 0.0.1 • 8 years agopublished 0.0.1 8 years ago