GitHub repository: ur-acal/Power-Law-Random-SAT-Generator
Description: Power Law Random k-SAT Generator