https://github.com/enzet/awesome-solving
SAT and SMT solving.
https://github.com/enzet/awesome-solving
List: awesome-solving
awesome-list cdcl dpll sat-solver smt-solver
Last synced: 3 days ago
JSON representation
SAT and SMT solving.
- Host: GitHub
- URL: https://github.com/enzet/awesome-solving
- Owner: enzet
- Created: 2019-05-27T13:47:14.000Z (about 7 years ago)
- Default Branch: master
- Last Pushed: 2019-05-28T11:50:05.000Z (about 7 years ago)
- Last Synced: 2025-11-11T21:03:06.271Z (7 months ago)
- Topics: awesome-list, cdcl, dpll, sat-solver, smt-solver
- Size: 2.93 KB
- Stars: 4
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: readme.md
Awesome Lists containing this project
README
Awesome SAT and SMT solving
===========================
* [SAT](#sat).
SAT
---
### Algorithms ###
* DP (1960).
* DPLL (1962).
* PPZ (1997).
* PPSZ (1998).
* Chaff (2001).
* Incremental SAT (2003).
* CDCL (**c**onflict **d**riven **c**lause **l**earning):
* [Interactive DPLL and CDCL explanation](https://cse442-17f.github.io/Conflict-Driven-Clause-Learning/).
### Solvers ###
* GSAT, WSAT (1993).
* GRASP (1995).
* SATO (1997).
* zChaff, mChaff (Chaff) (2001).
* SATZOO, SATNIK.
* MiniSAT (2003).
### Input formats ###
* DIMACS-CNF.