Commit f573c1f9 authored by Michele Volpato's avatar Michele Volpato

Added graphviz to used libraries, added install instructions for macOS,

added link to Anaconda for Windows
parent e9983679
......@@ -14,9 +14,10 @@ simulation, or model checking.
The project is coded in Python3 and tested using Python3.4.
## Included Libraries
## Used Libraries
[NumPy](https://github.com/numpy/numpy)
[graphviz](https://pypi.python.org/pypi/graphviz)
## Code Example
......@@ -28,13 +29,32 @@ This code exists as a support implementation to the papers mentioned previously.
## Installation
Clone the repository. Then you can modify any file in [examples](examples/),
Clone the repository.
### Install python3, numpy and graphviz and run the example
Then you can modify any file in [examples](examples/),
or create your own.
[Tic Tac Toe](examples/tictactoe/) uses a real *black box* system under learning.
There is also an example for learning a model of it using another learning
tool: [LearnLib](https://github.com/LearnLib/learnlib).
#### macOS
```
brew install python3
pip3 install virtualenv
virtualenv py3-environment
source py3-environment/bin/activate
pip3 install graphviz
pip3 install numpy
cd examples
python3 learn.py
```
#### Windows
Use [Anaconda](https://www.continuum.io/downloads)?
## Contributors
If you want to contribute, or if you have questions, you can contact me by
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment