[m-users.] problem with unique modes

[Matthias Güdemann]

Hi Tomas,

> Am I right in guessing you are doing this because you think (ie hope)
> it may be more efficient?

not really. The states represent C++ objects, and there can be any
number of them, representing a list of problems to solve. Each problem
is connected to a stateful instance of a solver - also from an external
C++ library.

The approach is as follows:
  - I get a file with n problems to solve
  - the n problem instances are created and put into a list
  - while not all are solved: one solver step is executed for each
                              problem

Matthias