GitHub repository: panhongyang0/phySAT
Primary language: C++
Description: Semi-Tonser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.