sat0w

Here is 1 public repository matching this topic...

😆 Boolean formula satisfiability algorithms for JavaScript

javascript computer-science algorithms agpl np-complete sat-solver reductions k-sat sat0w

To associate your repository with the sat0w topic, visit your repo's landing page and select "manage topics."