JSMiniSolvers is a Javascript API and implementation of the MiniSat and MiniCard constraint solvers. The solvers have been compiled into Javascript with Emscripten, meaning they can run directly in a web browser.
[You can also use this library in standalone Javscript engine like Node.js, but in that case you are better off running natively-compiled code by using a binary or an API that accesses native shared libraries instead.]
- Logic-Solver - A higher-level API for creating & solving logical constraints.
- Research.js - Information and scripts to help compile MiniSat and other solvers into Javascript.
Grab the pre-compiled script and optional sourcemap from dist/. See
example.html for a simple usage example.
Install dev-dependencies:
npm install
Build:
npm run build
Test:
npm test
The repository contains pre-compiled javascript versions of MiniSat and
MiniCard, so you can build the minisolvers.js library without needing to
install or use Emscripten. If you would like to modify the C++ source of
either solver and recompile it, however, you will need to install
Emscripten.
Then, in the src/cpp directory:
make
Or to build a debug version (unoptimizied, unminified):
make d
This code is licensed under the MIT license. See LICENSE for details.