The version is 2.4 Alpha. Qualitative analysis of regulatory graphs: a computational tool based on a discrete formal framework. GINsim is a software supporting the definition, the simulation and the analysis of regulatory graphs. The underlying multilevel logical formalism leans on the definition...