A fast Sudoku solver and generator with a benchmark suite for comparing the fastest known solvers.
-
Updated
Jul 16, 2024 - C++
#
sat
Here are 66 public repositories matching this topic...
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
-
Updated
Oct 25, 2024 - C++
The Standard Interface for Incremental Satisfiability Solving
-
Updated
Jun 28, 2022 - C++
configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)
-
Updated
Nov 20, 2023 - C++
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
cpp constraint-satisfaction-problem timetable sat-solver timetable-builder timetable-generator sat satisfiability custom-constraints maxsat timetabler iit-hyderabad iith maxsat-solver open-wbo
-
Updated
Sep 29, 2019 - C++
华中科技大学数据结构课程设计2018 An algorithm to solve SAT problem
-
Updated
Sep 4, 2019 - C++
CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi output format.
-
Updated
Jun 3, 2023 - C++
Separation Axis Theorem (SAT) physics engine library accelerated via GPGPU API (ROCm/OpenCL/CUDA) / or CPU-side
opengl sdl physics physics-simulation physics-2d sat rocm opengl4 rocm-kernel separation-axis-theorem
-
Updated
Nov 21, 2024 - C++
Parallel SAT Solver
-
Updated
Jan 19, 2018 - C++
An Algorithm for Checking Large Design Spaces
-
Updated
Jul 16, 2017 - C++
A SAT-Based cell router.
-
Updated
Nov 27, 2018 - C++
SAT'18 Paper: SPUR - Satisfying Perfectly Uniform Random sampler (Winner Best Student Paper)
-
Updated
Mar 30, 2024 - C++
Improve this page
Add a description, image, and links to the sat topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the sat topic, visit your repo's landing page and select "manage topics."