MP Gryphon runs on Windows, Mac, Linux, and from Docker. The installation process is different for each.
# Installing on Windows
Download the Windows installer for MP Gryphon from https://nps.box.com/s/dfzn0344l3h3q8jopdio1q0kt1ejctim and run the installer. The installer will put the MP-Gryphon launcher on your desktop.
# Installing on Mac
A Mac installer is currently not in place. For now, please perform these steps:
* From https://nps.box.com/s/dfzn0344l3h3q8jopdio1q0kt1ejctim download the M1 or Intel app depending on the hardware in your Mac.
* Make the download executable:
* Open a terminal: Click on Launchpad, type in "Terminal" and a terminal icon will show up. Click on it to open it.
* Paste the following into the terminal and then hit return:
```console
cd Downloads
chmod +x MP-Gryphon*
```
* To run the first time: Click on Finder, select Downloads from favorites, find the MP-Gryphon executable, Control-click on it, and select Open. Accept to run.
* Running after the first time: Either click on the MP-Gryphon executable from the Downloads icon or click on Finder or select Downloads from favorites, find the MP-Gryphon executable, and double-click on it.
# Installing on Ubuntu Linux
For now, please see https://gitlab.nps.edu/monterey-phoenix/user-interfaces/gryphon/-/wikis/old_version/Installing-MP-Gryphon-(OLD2)#ubuntu-linux
# Using Docker
Thanks to contributions from Ben Payne, Gryphon can alternatively be run in Docker without requiring the Gryphon server, please see https://github.com/researcherben/formal-models.
# Gryphon Server and Preloaded Examples
* The Gryphon server is now automatically selected.
* Preloaded examples are bundled with the Windows and Mac MP-Gryphon executable apps.
