README.md

Gomoku QIP File Generator Instructions

This is a C++ Program that generates a Quantified Integer Program(QIP) with more than 100000 constraints and variables for Yasol Solver

• To run it compile main.cpp
• Resulting gomoku.qlp file will be printed to the source directory
• You can use Yasol QIP Solver to solve the Gomoku Game