Giters

mertsaner / GomokuQIPFileGenerator

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

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

License:MIT License

Languages

Language:C++ 76.4%Language:C 16.1%Language:CMake 7.4%