Module print

Functions to pretty print a model as a Minion file.

Functions

write_constraints_section

Writes the CONSTRAINTS section of the Minion file to writer.

write_minion_file

Writes a complete Minion file for this model to writer.

write_search_section

Writes the SEARCH section of the Minion file to writer.

write_variable_declaration

Writes the variable declaration of name to writer.

write_variables_section

Writes the VARIABLES section of the Minion file to writer.