A collection of algorithms for handling counterexamples in automata learning
Latest Versions
16 versions →| Version | Vulnerabilities | Usages | Date | |
|---|---|---|---|---|
0.18.x | 0.18.0 |
11
| 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 | ||
0.9.x | 0.9.1 |
4
| Nov 07, 2013 | |
| 0.9.1-ase2013-tutorial |
2
| Nov 06, 2013 | ||
| 0.9.1-ase2013-tutorial-r1 |
4
| Dec 13, 2013 |
