Skip to content
  • Alexandre Duret-Lutz's avatar
    doc: add tut90.org about bdd_dict · ad2f5524
    Alexandre Duret-Lutz authored
    Fixes #372.
    
    * doc/org/tut90.org: New file.
    * doc/Makefile.am, doc/org/tut.org: Add it.
    * NEWS: Mention it.
    * python/spot/__init__.py: Allow make_twa_graph with
    default bdd_dict.
    ad2f5524