truthmachine

Browser-based Sentential Logic Calculator

v1.0.2 URL: https://unpkg.com/truthmachine@1.0.2/index.html

Open Browse Files

Browser Sentential Boolean Logic Calculator

tvl

A 316B implementation of Three Valued Logic in Javascript

v1.1.0 URL: https://unpkg.com/tvl@1.1.0/dist/tvl.min.js

Open Browse Files

Logic Tiny Small Three Valued Three Valued Logic Propositional Propositional Logic

fdp

Finite Domain Problem reduction system

v0.0.5 URL: https://unpkg.com/fdp@0.0.5/dist/fdp.dist.min.js

Open Browse Files

constraint solving GSAT finite domain solver FD Constraint Reduction system Minifier Logic Deduction

eyereasonerjs

A TypeScript wrapper for the EYE reasoner

v0.0.3 URL: https://unpkg.com/eyereasonerjs@0.0.3/lib/eye.js

Open Browse Files

N3 Logic Reasoning

json-based-conditions-and-rules-logic-evaluator

script that parses some customizable conditions and rules, then outputs a predefined value of that matching rule, or a default value

v1.0.2 URL: https://unpkg.com/json-based-conditions-and-rules-logic-evaluator@1.0.2/src/index.js

Open Browse Files

JSON Node Javascript Conditions Rules Parser Logic