Export to other logical modelling tools

External logical modelling formats

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

Other modelling formats

NuSMV export — Export regulatory graphs for the NuSMV model checker

Petri Net Export — Export LRG as Petri net