https://github.com/markusbrammer/alternating-games-solver

Solve strictly alternating two-player games on the fly. (Part of bachelor thesis)
https://github.com/markusbrammer/alternating-games-solver

Last synced: about 1 month ago
JSON representation

Solve strictly alternating two-player games on the fly. (Part of bachelor thesis)

• Host: GitHub
• URL: https://github.com/markusbrammer/alternating-games-solver
• Owner: markusbrammer
• Created: 2022-06-13T12:07:21.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2022-06-28T19:02:01.000Z (over 2 years ago)
• Last Synced: 2023-11-17T19:52:05.081Z (about 1 year ago)
• Language: F#
• Homepage:
• Size: 78.1 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Alternating Games 

## How To Run 

While having this folder (wherein the README file resides) as the current 

working directory, use one of the following commands: 

```bash

dotnet run --project src/FSharpApp/FSharpApp.fsproj 

# or

make run 

```

where `` is a relative or absolute path to a file containing a 

railway network. (Hint: A lot of examples in `src/TestSuite/input/):

```bash

dotnet run --project src/FSharpApp/FSharpApp.fsproj src/TestSuite/input/10-lyngby-more-trains.txt 

```

F# implementation for bachelor project with the following title: 

> A game-based platform for synthesis of programs controlling railway systems.

And the following explanation: 

> A game-based platform should be developed for generation of programs that can

> control railway systems. These programs should be correct by construction.