PV0 ⊧ LearnLiba library for active automata learning

Links

• https://learnlib.de/
• https://github.com/Learnlib/learnlib
  • Last commit date: 12 Sep 2022 (default branch)
  • Last commit date: 12 Sep 2022 (last activity)

ProVerB specific

• Markdown description: view/edit
• Reason for this entry: used by TarTar
• Contained in the ProVerB22 dataset (paper + artefact)