logic-solver-plusA fork of logic-solver that is compiled to wasm instead of JS with additional features solversat-solverlogicconstraint-solverconstraint-programminglogic-solverminisat0.2.0 • Published 5 months ago