This artifact provides the implementation of the NL* learning algorithm as described in the paper "Angluin-Style Learning of NFA" (http://ijcai.org/Proceedings/09/Papers/170.pdf) by Benedikt Bollig, Peter Habermehl, Carsten Kern, and Martin Leucker.

Latest Versions

11 versions โ†’
VersionVulnerabilitiesUsagesDate
0.18.x
0.18.0
1
Feb 06, 2025
0.17.x
0.17.0
1
Nov 15, 2023
0.16.x
0.16.0
1
Oct 12, 2020
0.15.x
0.15.0
1
Feb 06, 2020
0.14.x
0.14.0
1
Feb 18, 2019
0.13.x
0.13.1
1
May 11, 2018
0.13.0
1
Feb 08, 2018
0.12.x
0.12.0
0
Jun 04, 2015
0.11.x
0.11.2
0
Apr 26, 2015
0.11.1
0
Jan 16, 2015
0.10.x
0.10.1
0
Jun 14, 2014
11 versions โ†’