The solver Queue

The queue schedules tasks for the solver

The tasks are (cmd, id) pairs.

A command consists of a job and a selection, both parts ORed together. The following jobs are defined:

There is also the SOLVER_WEAK flag, which tells the solver that it can ignore the request to create a solution.

The following selection exist:


doxygen