Skip to content

Commit

Permalink
formatting
Browse files Browse the repository at this point in the history
  • Loading branch information
@ahassany
ahassany committed Oct 25, 2017
1 parent 6b414fb commit 372eb70
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,9 @@ SyNET is a system to synthesis network wide configurations given forwarding requ
## SyNET requirements

SyNET depends on the following packages
0. Install `pip`: check your operating system specific instructions or https://pip.pypa.io/en/stable/installing/.
1.`pip install -r requirements.txt`

0. Install `pip`: check your operating system specific instructions or (https://pip.pypa.io/en/stable/installing/).
1. Reqs `pip install -r requirements.txt`
2. z3 wih python bindings, see https://github.com/Z3Prover/z3


Expand Down

0 comments on commit 372eb70

Please sign in to comment.