Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with sat0w
A curated list of projects in awesome lists tagged with sat0w .
https://github.com/computational-problem-solving/sat
:satisfied: Boolean formula satisfiability algorithms for JavaScript
agpl algorithms computer-science javascript k-sat np-complete reductions sat-solver sat0w
Last synced: 19 Jan 2025
