Anthony Ling

EECS Department, University of California, Berkeley

Technical Report No. UCB/EECS-2021-146

May 21, 2021

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2021/EECS-2021-146.pdf

Puzzles are one-person “games”, with the player executing moves in a problem state. The goal is for the player to reach a winning state and avoid losing states, if they exist. GamesmanPuzzles is a system designed to strongly solve the Puzzle by finding the remoteness values of every reachable position, perform analysis, and allow the puzzle to be played. This software has a Python interface, and is built on top of Professor Dan Garcia’s GAMESMAN project, which strongly solves two-player games and provides powerful functionality such as analysis tools and a graphical game playing interface.

GamesmanPuzzles was developed as an effort to expand the intellectual convex hull of the GamesCrafters computational game theory research and development group into the domain of puzzles. It does so by providing functionality for playing and solving Puzzles, as well as integrating Puzzles into the GAMESMAN ecosystem. By providing tutorial material for newcomers, we hope this will serve as a resource for future development.

Advisors: Dan Garcia

---

BibTeX citation:

@mastersthesis{Ling:EECS-2021-146,
    Author= {Ling, Anthony},
    Editor= {Garcia, Dan and Hug, Joshua},
    Title= {GamesmanPuzzles: A Leap Into the Puzzles Domain},
    School= {EECS Department, University of California, Berkeley},
    Year= {2021},
    Month= {May},
    Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2021/EECS-2021-146.html},
    Number= {UCB/EECS-2021-146},
    Abstract= {Puzzles are one-person “games”, with the player executing moves in a problem state. The goal is for the player to reach a winning state and avoid losing states, if they exist. GamesmanPuzzles is a system designed to strongly solve the Puzzle by finding the remoteness values of every reachable position, perform analysis, and allow the puzzle to be played. This software has a Python interface, and is built on top of Professor Dan Garcia’s GAMESMAN project, which strongly solves two-player games and provides powerful functionality such as analysis tools and a graphical  game playing interface.

GamesmanPuzzles was developed as an effort to expand the intellectual convex hull of the GamesCrafters computational game theory research and development group into the domain of puzzles.  It does so by providing functionality for playing and solving Puzzles, as well as integrating Puzzles into the GAMESMAN ecosystem. By providing tutorial material for newcomers, we hope this will serve as a resource for future development.},
}

EndNote citation:

%0 Thesis
%A Ling, Anthony 
%E Garcia, Dan 
%E Hug, Joshua 
%T GamesmanPuzzles: A Leap Into the Puzzles Domain
%I EECS Department, University of California, Berkeley
%D 2021
%8 May 21
%@ UCB/EECS-2021-146
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2021/EECS-2021-146.html
%F Ling:EECS-2021-146