BDDL models for games

该数据集包含了多种基于网格的游戏的BDDL模型，例如井字棋、四子棋、占域游戏、追逃游戏和突破游戏等，这些模型可用于生成量子布尔公式（QBF）。此外，这些模型可以轻松扩展到其他游戏，使得能够为各种情景生成量子布尔公式。该任务旨在进行游戏策略分析以及获胜策略的计算。

This dataset contains BDDL models for a variety of grid-based games, such as tic-tac-toe, Connect Four, territory games, pursuit-evasion games, and breakout games. These models can be employed to generate Quantified Boolean Formulas (QBF). Furthermore, these models can be readily extended to other games, thus enabling the generation of QBFs for diverse scenarios. This task focuses on game strategy analysis and the computation of winning strategies.