JSMiniSolvers

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.]

Alternatives

• 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.

Usage

Grab the pre-compiled script and optional sourcemap from dist/. See
example.html for a simple usage example.

Try it online!

Development

Building minisolvers.js

Install dev-dependencies:

npm install

Build:

npm run build

Test:

npm test

Re-building src/cpp/libmini*.js

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

License

This code is licensed under the MIT license. See LICENSE for details.