GitHub repository: yogevshalmon/allsat-circuits
Primary language: C++
Description: HALL (Haifa AllSAT) - AllSAT enumeration for Combinational Circuits