https://github.com/sbeyer/commonsat

a common C++11 SAT solver interface for different SAT solvers

c-plus-plus c-plus-plus-11 cpp cpp-library cpp11 formula header-only library sat sat-solver satsolver

Last synced: 05 Feb 2026

https://github.com/likolk/sudoku-sat-solver

SAT Solver For Solving Sudoku Boards Of Alternating Difficulty

python python-gui satsolver

Last synced: 26 Jun 2025

https://github.com/anon767/satsolver

cnf go golang sat satsolver

Last synced: 08 Aug 2025

https://github.com/komorra/satstreams

SATStreams SAT solving library and CLI solver

boolean-algebra boolean-logic cli cnf console-app console-application csharp dotnet library satisfiability satisfiability-solver satsolver z3

Last synced: 18 May 2026

https://github.com/yingjieqiao/satsolver

Boolean Satisfiability Problem Solver

satisfiability-solver satsolver

Last synced: 20 Apr 2026