A Python implementation for the reversible circuit synthesis algorithm proposed to The VIII Latin-American Algorithms, Graphs and Optimization Symposium (LAGOS), which will be held on 11-15 May 2015 in Praia das Fontes, Beberibe, Ceará, Brazil. More information about LAGOS may be found in http://www.lia.ufc.br/lagos2015/
Requires Python 3 (www.python.org) and Sympy (www.sympy.org).