Gener is a tool for performing reductions on DNA-strands based on a strand-displacement algebra.
Gener is a tool for performing computational reductions on two-domain DNA strands based on a strand-displacement algebra (L. Cardelli, 2013, MSCS, Vol. 23, pp 247-271).
Gener allows to perform interactive steps for the application of the reduction rules. Gener also includes a feature for performing exhaustive search on the input algebra to compute the reachable states of DNA strands.
The computations can be saved and re-opened. The reductions computed can be exported to LaTeX.
The tool contains introductory examples in its menu, which should be useful for a quick start.
HOW TO CITE AND REFERENCES
O. Kahramanogullari, L. Cardelli. Gener: A minimal programming module for chemical controllers based on DNA strand displacement, Bioinformatics © Oxford Journals, 2015. [Journal website].