This is a sample front-end for the classes in JRET that implement flat decomposition generation. The source code can be downloaded here.