BoolSim format

bioLQM supports import and export of Boolean models in boolSim format, used by boolSim/genYsis and SQUAD.

This format defines a model as a list of activating and inhibiting conditions of its components.

  • The conditions use the & operator for AND, and ^ for NOT

  • Activations are defined as: condition -> target

  • Inhibitions are defined as: condition -| target

  • The complete function will be: (activation1 OR activation2) & !(inhibition1 OR inhibition2).

A&^C -> A
A&C -| B
B -> B
^A -> C