The license server keeps track of the licenses and make sure that clients have license tokens while they are running.

The license server does not do any of the computations; the solver software runs only on the client.