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