sukrutrao/SAT-Solver-DPLL
A simple SAT solver that implements the DPLL algorithm with unit resolution
C++MIT
Stargazers
- Achilles-10Huazhong University of Science and Technology, Wuhan, China
- AlexiosX
- Alisahhh
- AYUSHMIT
- chuchongSchool of software, Tsinghua University
- crack521
- CristianSena17Belo Horizonte, MG, Brasil
- danielSbastosResultadosDigitais
- DiShengOvO
- Dong-J93
- donghua100UCAS
- grosa1University of Molise - UNIMOL
- HengKuu
- hwhsu1231Taipei City, Taiwan (Chinese)
- iridium-soda
- JGEthanChenHuazhong University of Science and Technology
- JianDanKe
- lookuptables
- martingmsOslo, Norway
- night-killer
- pkuzjxPKU
- pranavmalode99
- robin-karlsson0Nagoya University
- SparkleFan
- SparkleStar88
- sqPoseidonZhejiang University
- t0hka1HangZhou CHINA
- The-Sunspot
- thetruth666HUST/WUHAN/CHINA
- TOPSAILL
- uncttaoUniversity of North Carolina at Chapel Hill
- v0id-reHDU
- VladimirVincan
- wyt2000IPRC @ ICT, CAS
- x213212Andes Technology
- ychSynopsys, Inc.