Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: about 21 hours ago
JSON representation
Parallel SAT Solver
- Host: GitHub
- URL: https://github.com/limo1996/sat-solver
- Owner: limo1996
- Created: 2017-10-07T20:34:27.000Z (about 7 years ago)
- Default Branch: master
- Last Pushed: 2018-01-19T10:23:56.000Z (almost 7 years ago)
- Last Synced: 2023-03-08T11:50:20.840Z (over 1 year ago)
- Topics: cdcl-algorithm, dpll-algorithm, high-performance-computing, mpi, parallel-computing, sat, sat-solver
- Language: C++
- Size: 23.2 MB
- Stars: 8
- Watchers: 2
- Forks: 1
- Open Issues: 2