Project
Reverse Dependencies for stamina-induction
The projects listed here declare stamina-induction as a runtime or development dependency
Stamina is an automaton and regular inference toolkit initially developped for the
baseline of the Stamina Competition (stamina.chefbe.net).
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
Activity
0.0
Stamina-gui provides a web-based graphical interface for Stamina.
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
Activity