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