Skip to content

Commit

Permalink
mention pycall in readme
Browse files Browse the repository at this point in the history
  • Loading branch information
MaximeBouton committed Sep 24, 2019
1 parent cf26066 commit 752dcaf
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,8 @@

This package provides Julia bindings to the [Spot](https://spot.lrde.epita.fr/index.html) library for LTL and automata manipulation. It relies on [Cxx.jl](https://github.com/JuliaInterop/Cxx.jl) to interface julia with the Spot c++ library.

If you wish to use `PyCall` instead and interact with the spot python bindings you should checkout the branch `pycall` (linux only).

## Installation

For the rendering, Spot requires [GraphViz](https://graphviz.gitlab.io/) and [dot2tex](https://dot2tex.readthedocs.io/en/latest/index.html) to be installed. In addition, the precompile binaries require `gcc` 7 or 8 (not needed for Mac).
Expand Down

0 comments on commit 752dcaf

Please sign in to comment.