Installation

Install dependencies

Debian, Ubuntu, etc.

sudo apt-get update
sudo apt-get install git graphviz python3 python3-notebook python3-numpy python3-pytest

Windows

• Install anaconda python3
• Install cygwin (and git inside), or directly a git client for windows.

Install lstar

lstar depends on PyBGL, an open-source python-based graph library.

From you shell (cygwin / Git bash if you are under Windows), run:

mkdir ~/git
cd ~/git

git clone https://github.com/nokia/PyBGL
cd ~/git/PyBGL
sudo python3 setup.py install

git clone https://github.com/nokia/regexp-learner
cd ~/git/regexp-learner
sudo python3 setup.py install