Skip to content

Notebook

Jump to bottom
Marc-Olivier Buob edited this page Jun 27, 2019 · 2 revisions

You could try lstar module through the related notebook.

  1. Follows the installation steps
  2. Run jupyter notebook in the directoy containing Angluin.ipynb (or any parent directory). Your browser should open a page displaying the notebook. Otherwise, copy-paste the displayed URL (e.g. http://localhost:8888) in your brower.
Clone this wiki locally