About

solvers for propositional logic

We help to study logic solvers by providing and collecting various easy-to-use, browser-based javascript tools: starting with classical propositional formulas and continuing with predicate logic later.

All the code is self-contained, no-dependencies, easy-to-hack javascript under the MIT licence.

The focus is on simplicity, ease of use, hacking and experimenting, not state of the art efficiency-wise.

Help and cooperation appreciated for improving the current code, writing and proposing new tools, etc. See the github page.

Site, initial solvers and utilities written by Tanel Tammet (tanel.tammet at gmail.com)