【文件属性】：
文件名称：smt-icg:SMT求解器合成ICG策略
文件大小：32KB
文件格式：ZIP
更新时间：2021-04-07 00:56:41
Python
ICG策略生成器
install
git clone :IamChenJianrui/smt-icg.git
pip install z3-solver
【文件预览】：
smt-icg-master
----log()
--------Empty_and_divide(1KB)
--------chomp-game(566B)
--------Two_piled_nim(601B)
--------n-take-away(527B)
--------Monotonic_Two_piled_nim(602B)
--------L_shaped_chomp_game(567B)
----template.py(12KB)
----main.py(1KB)
----domain()
--------parser.py(5KB)
--------action.py(7KB)
--------utils()
----test()
--------test3.py(208B)
--------test1.py(664B)
--------test5.py(95B)
--------test4.py(277B)
--------test2.py(333B)
----pddl()
--------Wythoff_game.pddl(628B)
--------Max_min_two_piled_nim.pddl(571B)
--------Empty_and_divide.pddl(483B)
--------two_piled_nim.pddl(436B)
--------Monotonic_2_piled_nim.pddl(454B)
--------L_shaped_chomp_game.pddl(434B)
--------Subtraction_game.pddl(285B)
--------monotonic_2_piled_wythoff_game.pddl(685B)
--------Take_Away.pddl(265B)
--------Wythoff_game_odd_even.pddl(649B)
--------Chomp_game.pddl(474B)
----generator.py(14KB)
----.idea()
--------dbnavigator.xml(22KB)
--------misc.xml(185B)
--------vcs.xml(180B)
--------modules.xml(266B)
--------program.iml(474B)
--------workspace.xml(35KB)
--------inspectionProfiles()
----README.md(110B)