satsolver
Here are 11 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
-
Updated
Aug 4, 2024 - 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
Un juego de misterio donde los jugadores resuelven tres casos usando lógica proposicional y un SAT solver. A partir de declaraciones y pistas, deben deducir al culpable en escenarios como un robo en un museo, un asesinato en una mansión, y un caso de trampa en un examen.
-
Updated
Sep 24, 2024 - 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."