A collection of algorithms for handling counterexamples in automata learning
| License | Apache 2.0 |
|---|---|
| Ranking | #28457 in MvnRepository (See Top Artifacts) |
| Used By | 15 artifacts |
| Version | Vulnerabilities | Repository | Usages | Date | |
|---|---|---|---|---|---|
0.17.x | 0.17.0 | Central | Nov 15, 2023 | ||
0.16.x | 0.16.0 | Central | Oct 12, 2020 | ||
0.15.x | 0.15.0 | Central | Feb 06, 2020 | ||
0.14.x | 0.14.0 | Central | Feb 18, 2019 | ||
0.13.x | 0.13.1 | Central | May 11, 2018 | ||
| 0.13.0 | Central | Feb 08, 2018 | |||
0.12.x | 0.12.0 | Central | Jun 04, 2015 | ||
0.11.x | 0.11.2 | Central | Apr 26, 2015 | ||
| 0.11.1 | Central | Jan 16, 2015 | |||
0.10.x | 0.10.1 | Central | Jun 14, 2014 | ||
| 0.10.0 | Central | Apr 16, 2014 | |||
0.9.x | 0.9.1 | Central | Nov 07, 2013 | ||
| 0.9.1-ase2013-tutorial | Central | Nov 06, 2013 | |||
| 0.9.1-ase2013-tutorial-r1 | Central | Dec 13, 2013 | |||
| 0.9.0 | Central | Jun 25, 2013 |