Amdp_pretty_printer

The AMDP Pretty Printer is a source code formatter for AMDPs