GitHub repository: oracleArch/Power-Law-Random-SAT-Generator
Primary language: C++
Description: Power Law Random k-SAT Generator