Project
Reverse Dependencies for stamina-induction
The projects listed here declare stamina-induction as a runtime or development dependency
0.0
Stamina is an automaton and regular inference toolkit initially developped for the
baseline of the Stamina Competition (stamina.chefbe.net).
2019
2020
2021
2022
2023
2024
0.0
Stamina-gui provides a web-based graphical interface for Stamina.
2019
2020
2021
2022
2023
2024