A collection of algorithms for handling counterexamples in automata learning
Latest Versions
17 versions →| Version | Vulnerabilities | Usages | Date | |
|---|---|---|---|---|
19.0.x | 19.0.0 |
12
| Aug 13, 2026 | |
0.18.x | 0.18.0 |
12
| Feb 06, 2025 | |
0.17.x | 0.17.0 |
11
| Nov 15, 2023 | |
0.16.x | 0.16.0 |
6
| Oct 12, 2020 | |
0.15.x | 0.15.0 |
6
| Feb 06, 2020 | |
0.14.x | 0.14.0 |
6
| Feb 18, 2019 | |
0.13.x | 0.13.1 |
6
| May 11, 2018 | |
| 0.13.0 |
6
| Feb 08, 2018 | ||
0.12.x | 0.12.0 |
6
| Jun 04, 2015 | |
0.11.x | 0.11.2 |
6
| Apr 26, 2015 | |
| 0.11.1 |
6
| Jan 16, 2015 | ||
0.10.x | 0.10.1 |
5
| Jun 14, 2014 | |
| 0.10.0 |
5
| Apr 16, 2014 |