#
satsolver
Here are 10 public repositories matching this topic...
Go (golang) bindings for Picosat, the satisfiability solver
-
Updated
Feb 18, 2018 - C
A Circuit SAT language that emit CNF code.
-
Updated
Jun 28, 2022 - Python
a common C++11 SAT solver interface for different SAT solvers
c-plus-plus
formula
library
cpp
c-plus-plus-11
cpp11
header-only
satsolver
sat-solver
cpp-library
sat
-
Updated
Apr 3, 2020 - C++
SAT Solver For Solving Sudoku Boards Of Alternating Difficulty
-
Updated
Jun 11, 2022 - Python
Implementation of a basic SAT solver, completed as coursework for Durham University
-
Updated
Sep 27, 2023 - Python
Improve this page
Add a description, image, and links to the satsolver topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the satsolver topic, visit your repo's landing page and select "manage topics."