https://github.com/limo1996/sat-solver
Parallel SAT Solver
https://github.com/limo1996/sat-solver
cdcl-algorithm dpll-algorithm high-performance-computing mpi parallel-computing sat sat-solver
Last synced: 12 months ago
JSON representation
Parallel SAT Solver
- Host: GitHub
- URL: https://github.com/limo1996/sat-solver
- Owner: limo1996
- Created: 2017-10-07T20:34:27.000Z (over 8 years ago)
- Default Branch: master
- Last Pushed: 2018-01-19T10:23:56.000Z (about 8 years ago)
- Last Synced: 2025-03-24T08:21:33.933Z (about 1 year ago)
- Topics: cdcl-algorithm, dpll-algorithm, high-performance-computing, mpi, parallel-computing, sat, sat-solver
- Language: C++
- Size: 23.2 MB
- Stars: 10
- Watchers: 1
- Forks: 1
- Open Issues: 2