stamina-coreの被依存関係 以下のgemの最新版はstamina-coreを必要としています
stamina 0.6.1
Stamina is an automaton and regular inference toolkit initially developped for the bas...
33,378 ダウンロード数
stamina-gui 0.6.1
Stamina-gui provides a web-based graphical interface for Stamina.
23,804 ダウンロード数
stamina-induction 0.6.1
Stamina-induction plugs induction algorithm to the stamina toolkit.
23,572 ダウンロード数
gisele-vm 0.6.0
This project provides a virtual machine for the modeling language +gisele+ developed in...
4,809 ダウンロード数
gisele-analysis 0.6.0
This project implements the formal analysis techniques available on the gisele process ...
4,757 ダウンロード数