Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with 2-sat
A curated list of projects in awesome lists tagged with 2-sat .
https://github.com/tchaumeny/satisfaction
Investigate phase transitions in k-SAT problems
2-sat 3-sat computer-science phase-transitions sat-solver satisfiability
Last synced: 18 Jan 2025
https://github.com/computational-problem-solving/js-2sat
:satisfied: 2-Satisfiability library for JavaScript
2-sat agpl algorithms computer-science graphs javascript polynomial-time reductions sat-solver
Last synced: 09 Jan 2025
