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

fdq

Finite Domain reduction system and solver by qFox

v0.0.4 URL: https://unpkg.com/fdq@0.0.4/dist/fdq.dist.min.js

Open Browse Files

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

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

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

jkif-parser

Complete SUO-KIF to JavaScript parser

v1.0.0 URL: https://unpkg.com/jkif-parser@1.0.0/lib/jkif_parser.js

Open Browse Files

jKif KIF SUO-KIF JavaScript Ontology Semantics Logic Parser