model.pl -- sCASP model handling

 canonical_model(:RawModel, -Canonical)

 unqualify_model(+ModelIn, +Module, -ModelOut) is det

Restore the model relation to modules.

 print_model(:Model, +Options) is det

Print the model in aligned columns. Options processed:

width(Width)

Assumed terminal width. Default from tty_size/2 or 80.

Model terms are printed in columns. E.g., for a 10 atom model and 4 columns we get:

   1  4  7  10
   2  5  8
   3  6  9