A compilation of useful codes to analyze the generalized version if the Harary's XOX game. Writen using c++. Uses the smt solver z3.
To compile files, use:
g++ a.cpp -lz3
egekabas/PioneerEge
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|