Updating: adding command-line support for exporting constraints.