... | ... | @@ -11,6 +11,7 @@ Gryphon is compatible with **Windows**, **Mac**, and **Ubuntu Linux**. For Mac |
|
|
# Installing Gryphon
|
|
|
The installation approach is different based on the operating system you are using. **Windows** and **Mac** installations currently additionally require access to a Gryphon server to generate traces and to perform syntax checking.
|
|
|
To install and run Gryphon directly, please follow the steps for your operating system.
|
|
|
|
|
|
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.
|
|
|
|
|
|
## Windows
|
... | ... | |