logic-solver-plus

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

v0.2.0 URL: https://unpkg.com/logic-solver-plus@0.2.0

Open Browse Files

solver sat-solver logic constraint-solver constraint-programming logic-solver minisat