GitHub repository: mertsaner/GomokuQlpFileGenerator
Primary language: C++
Description: C++ Program that generates Quantified Integer Program with more than 100000 constraints