Skip to content

Commit

Permalink
Update README
Browse files Browse the repository at this point in the history
  • Loading branch information
I747530 committed Nov 9, 2024
1 parent 8634b1a commit 42f05a6
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -71,6 +71,8 @@ Install the additional libraries via Homebrew:
brew install graphviz
```

If you are having trouble installing pygraphviz on macOS try the following: [StackOverflow](https://stackoverflow.com/questions/69970147/how-do-i-resolve-the-pygraphviz-error-on-mac-os)

### 4. Install KLEE

To use KLEE with Gametime, follow the installation instructions on the [KLEE official website](https://klee.github.io/).
Expand Down

0 comments on commit 42f05a6

Please sign in to comment.