Export to other logical modelling tools

SBML qual

TODO: link to full description in the bioLQM documentation

Boolsim

TODO: link to full description in the bioLQM documentation

Truth table

TODO: link to full description in the bioLQM documentation

NuSMV Export

Export regulatory graphs for the NuSMV model checker

Petri net Export

Export LRG as Petri net