KO
|
EN
gitlite — search
Search
#php
#python
#java
#ruby
#javascript
#hacktoberfest
#wordpress
#nodejs
#shell
#abandoned
#c-plus-plus
#logging
ringsat
★ 12
Open GitHub ↗
CDCL SAT-solver for GPUs
Download README (.md)
Explore Similar Repositories
neurocore-public
:
NeuroCore: Guiding CDCL with Unsat-Core Predictions
sidekick
:
A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
SAT-Solver-CDCL
:
A simple SAT solver based on the CDCL algorithm
pysat
:
Simple SAT solver with CDCL implemented in Python
JinkelaSat
:
A Header-Only CDCL SAT Solver based on MiniSat (Fast and only 500 lines)
// repository documentation
Was this content helpful?
★ 0
(0 ratings)
Select Rating:
★
★
★
★
★
Submit Feedback
Recent Feedback
×
Download README
Do you want to download the
README.md
file for
ringsat
?
Download (.md)
# ringsat DPLL SAT-solver for GPUs This is an old GPU solver for Boolean SAT I wrote in 2013-2015. It features DPLL algorithm with non-chronological backjumping, work stealing between threads etc. Each GPU thread runs complete DPLL algorithm, no work is done by CPU. Data structures and BCP procedures are highly optimized for GPU architecture. Code features Loop Fusion Transformation applied by hand to main BCP loops, and Next Jump Voting system for further optimisation of SIMD performance.
