The Scoring Games Calculator is a Haskell set of modules to research the Universe of Guaranteed Scoring Combinatorial Games. The classical CGT Conway Universe is order-embedded in it.
The main module is Scoring with all the data structures and functions to perform operations over scoring game values.
Given a ruleset \(R\), any valid position \(p \in R\) is represented abstractly by module Position. This module can be instantiated by many concrete rulesets (eg, Dots’n’Boxes) where each one of these rulesets is codified on their respective modules. The project already includes several ruleset implementations, namely Dots’n’Boxes, Kobber and Diskonnect.
As an eg, the next picture shows the value of the given Kobber position:
Download the user guide for a more detailed introduction/tutorial.