Skip to content
This repository has been archived by the owner on Jul 26, 2022. It is now read-only.

A project for the 2020–2021 AI master's course Logical Aspects of Multi-Agent Systems at the university of Groningen.

License

Notifications You must be signed in to change notification settings

RamonMeffert/epistemic-group-gossip

Repository files navigation

Epistemic Group Gossip

Running the app

Precompiled executable

An executable is available for Linux and macOS. These are available under Releases. Before running, you have to allow executing the file using chmod +x egg-{os} where {os} is macOS or Linux. When running on macOS, you might get a warning that the file is not signed (’“egg-macOS” cannot be executed because the developer cannot be verified’). To get around this, open System Preferences » Security & Privacy » General and click “Allow anyway”. Then, you can run the app using ./egg-{os} (where {os} is macOS or Linux again) from the directory it is in.

Building and running manually

Building

If you want to try the tool, make sure you have the Haskell Tool Stack installed first. After that, you can run stack build to build the project (might take a couple of minutes the first time) and stack run to run the project.

Running

Currently when you run stack run you are presented with a command-line interface (CLI) in which you can work on two predefined gossip graphs. You can

  1. Execute calls
  2. View possible calls
  3. View the current state

The current state will show you the current gossip graph, the current knowledge structure (WIP) and the call sequence so far.


Favicon for the Github Pages site by Eucalyp from www.flaticon.com

About

A project for the 2020–2021 AI master's course Logical Aspects of Multi-Agent Systems at the university of Groningen.

Topics

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Contributors 4

  •  
  •  
  •  
  •