Projects in Awesome Lists tagged with sat-solving
A curated list of projects in awesome lists tagged with sat-solving .
https://github.com/phoenixsmaug/str8ts
A collection of combinatorial solvers for the Sudoku variant Str8ts.
combinatorial-search sat-solving str8ts
Last synced: 18 Feb 2026
https://github.com/kuanhungchen/spring-2020-applied-mathematical-logic
📈 Implementation of a SAT solver to solve satisfiability problems.
sat-solving satisfiability satisfiability-solver
Last synced: 30 Aug 2025
