Here is a list of all variables with links to the classes they belong to:

- q -

• q : cube
• QCostAfter : cinfo_tag
• QCostBefore : cinfo_tag
• qhead : Gluco2::Solver, Gluco::Solver, Minisat::Solver, sat_solver2_t, sat_solver3_t, sat_solver_t
• qlauses : CaDiCaL::Quotient, factoring
• qtail : sat_solver2_t, sat_solver3_t, sat_solver_t
• Quality : cinfo_tag
• queue : CaDiCaL::Internal, cadical_kitten, kissat, kitten
• quiet_bit : IeeeNanStruct
• quotient : clause
• quotients : CaDiCaL::Factoring, factoring