This is SNAP-05 with added capability to write out the commands and constraints in a different format. This can be targeted to any format desired by the customer.

Features