Skip to Content

Companion Tools


GINsim is a computer tool for the modeling and simulation of genetic regulatory networks, based on the discrete logical formalism.
You can obtain more information at


LogicalModel is a tool for the manipulation of multi-valued logical models. It provides a set of core interfaces for the interoperability between different logical modelling tools (such as GINsim and EpiLog).
You can get it at


MDDlib is a simple toolkit written in Java for the manipulation of Multi-valued Decision Diagrams (MDD). GINsim uses MDDlib at his core, since all logical functions are represented as MDDs.
You can get it at

page | by Dr. Radut