A Python implementation for the reversible circuit synthesis algorithm proposed in Lagos 2015.