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

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

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

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

@fines/factory-js

Logical Management

v0.0.7 URL: https://unpkg.com/@fines/factory-js@0.0.7/dist/index.js

Open Browse Files

javaScript Logic Management factory