Installation

Install dependencies

Debian, Ubuntu, etc.

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

Windows

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

Install lstar

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

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

Test

Check if you can import ̀lstar ̀ from your Python3 interpreter.

python3
>>> import lstar