# sat_solvers

**Repository Path**: wzh2021/sat_solvers

## Basic Information

- **Project Name**: sat_solvers
- **Description**: Mainstream sat solvers.
- **Primary Language**: C++
- **License**: Not specified
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2023-08-14
- **Last Updated**: 2023-08-15

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# SAT SOLVERS

## Chaff SAT Solver
[Chaff: Engineering an Efficient SAT Solver](https://www.princeton.edu/~chaff/publication/DAC2001v56.pdf)

### Features
 - Basic Davis-Putnam Backtrack Search
 - Optimized BCP
 - Variable State Independent Decaying Sum(VSIDS) Decision Heuristic

## Minisat
[An Extensible SAT-solver](https://lara.epfl.ch/w/_media/projects:minisat-anextensiblesatsolver.pdf)

## Grasp (first CDCL sat solver)
[GRASP-A New Search Algorithm for Satisfiability](https://www.cs.cmu.edu/~emc/15-820A/reading/grasp_iccad96.pdf)