Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
LICENSE		LICENSE
README.md		README.md
SAT.js		SAT.js

Repository files navigation

SAT.js

A simple JavaScript SAT solver, see (http://www.comp.nus.edu.sg/~gregory/sat/) for a live demo & more information.

About

A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)

GPL-3.0 license

Report repository

Releases

No releases published

Packages

Contributors

Languages

JavaScript 100.0%