logic-solver-plus

A fork of logic-solver that is compiled to wasm instead of JS with additional features