#

sat0w

Here is 1 public repository matching this topic...

computational-problem-solving / sat

😆 Boolean formula satisfiability algorithms for JavaScript

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

Updated Dec 28, 2024
JavaScript

Improve this page

Add a description, image, and links to the sat0w topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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