Skip to content

Latest commit

 

History

History
22 lines (12 loc) · 1.47 KB

README.md

File metadata and controls

22 lines (12 loc) · 1.47 KB
Raw

ScoringGames

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 instanciated 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:

Kobber position

Installation

  1. Download an Haskell system, eg, the Haskell Platform and install it

  2. Clone this project or just download as a ZIP from GitHub and unzip it

  3. Inside the Haskell interpreter (eg, in Windows select Winghci), load the appropriate module and start using it

Download the user guide for a more detailed introduction/tutorial.