Skip to content

C++ Program that generates Quantified Integer Program with more than 100000 constraints for Yasol Solver 🚀

Notifications You must be signed in to change notification settings

mertsaner/GomokuQIPFileGenerator

Repository files navigation

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

About

C++ Program that generates Quantified Integer Program with more than 100000 constraints for Yasol Solver 🚀

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published