Search results

propsat

Propositional Satisfiability Checker

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

mafu

published 2.1.0 • 10 months agopublished 2.1.0 10 months ago

xerocross.vulcan

A resolution-based propositional logic tool

• propositional
• logic

xerocross

published 0.4.0 • a year agopublished 0.4.0 a year 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 • 5 years agopublished 1.1.0 5 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 • 11 years agopublished 1.0.0 11 years ago

plpgen

Propositional Logic Problem Generator

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

mafu

published 1.0.0 • 4 years agopublished 1.0.0 4 years ago

vulcan

A resolution-based propositional logic tool

• propositional
• logic

ryanmarcus

published 0.2.1 • 8 years agopublished 0.2.1 8 years ago

llang

An interpreter of well-formed formulas in propositional calculus.

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

nevyk

published 0.0.1 • 9 years agopublished 0.0.1 9 years ago

@mist3rbru/p-logic

• logic
• propositional
• math

mist3rbru

published 0.1.3 • 9 months agopublished 0.1.3 9 months ago