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).
2020
2021
2022
2023
2024
2025
0.0
Stamina-gui provides a web-based graphical interface for Stamina.
2020
2021
2022
2023
2024
2025