Topic: "cdcl"
shnarazk/splr
A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
Language: Rust - Size: 5.06 MB - Last synced at: 14 days ago - Pushed at: 22 days ago - Stars: 91 - Forks: 9
NickLee2050/HustProgramDesign
Program Design affiliated to General Course Design of CSE College, HUST, for students enrolled in 2018.
Language: C - Size: 25.4 MB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 15 - Forks: 0
Kapilhk/SatPie
SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data structure, Random restarts with restart probability decay
Language: Jupyter Notebook - Size: 1.09 MB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 14 - Forks: 3
imandra-ai/batsmt
[wip] Modular SMT solver in rust
Language: SMT - Size: 660 KB - Last synced at: 7 days ago - Pushed at: over 4 years ago - Stars: 10 - Forks: 1
private-yusuke/sat-d 📦
A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム
Language: D - Size: 1.17 MB - Last synced at: 1 day ago - Pushed at: over 3 years ago - Stars: 9 - Forks: 0
sgomber/CDCL-SAT
A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python
Language: Jupyter Notebook - Size: 13.9 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 8 - Forks: 3
Kienyew/CDCL-SAT-Solver-from-Scratch
CDCL SAT Solver from Scratch in Python
Language: Python - Size: 1.95 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 5 - Forks: 1
paultristanwagner/satisfiability-checking
Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)
Language: Java - Size: 910 KB - Last synced at: 9 months ago - Pushed at: 10 months ago - Stars: 4 - Forks: 0
enzet/awesome-solving
SAT and SMT solving.
Size: 2.93 KB - Last synced at: about 20 hours ago - Pushed at: almost 6 years ago - Stars: 4 - Forks: 0
msoos/sat_competition_2013_sources
SAT Competition 2013 Source Archives
Size: 40.5 MB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 4 - Forks: 1
casperdcl/cdcl
`cron` & dashboard in cloud land
Language: HTML - Size: 72.3 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 3 - Forks: 0
solhop/rsat 📦
SAT Solver
Language: Rust - Size: 180 KB - Last synced at: 11 months ago - Pushed at: almost 4 years ago - Stars: 3 - Forks: 0
imandra-ai/batsmt-ocaml
OCaml bindings for batsmt
Language: Rust - Size: 94.7 KB - Last synced at: 7 days ago - Pushed at: about 6 years ago - Stars: 3 - Forks: 0
nitinkedia7/satispy
Super efficient SAT solver in 500 lines of code
Language: Jupyter Notebook - Size: 11.1 MB - Last synced at: 27 days ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 0
apurva91/SAT-Solver
CDCL SAT Solver implementation for babies
Language: Jupyter Notebook - Size: 328 KB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 0
msoos/sat_competition_2014_sources
SAT Competition 2014 Source Archives
Size: 55 MB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 2 - Forks: 1
Pikurrot/sudoku-sat-solver
Sudoku solver using CaDiCaL SAT solver
Language: Python - Size: 46.9 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
imandra-ai/abstract-transition-systems
[alpha] An implementation of several classic transition systems that describe algorithms for SAT or SMT, for interactive exploration
Language: OCaml - Size: 229 KB - Last synced at: 7 days ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 1
RobertObkircher/sat-solver
CDCL SAT Solver
Language: Rust - Size: 78.1 KB - Last synced at: 11 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
jyuv/DPLLT
DPLLT fot SMT problems using CDCL, BCP & DLIS. Provided with TQ & UF theories
Language: Python - Size: 241 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
timbeurskens/gobdd
An ROBDD & CDCL based SAT solver
Language: Go - Size: 359 KB - Last synced at: 10 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
nguermond/cdcl
An ocaml implementation of the CDCL algorithm.
Language: OCaml - Size: 195 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
NicolaDes/SATIVA
SAT solver using CDCL procedure and watched literals, VSIDS herustics.
Language: C++ - Size: 759 KB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
