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

- k -

• K : Gluco2::Solver, Gluco::Solver, xSAT_SolverOptions_t_
• k : Super2_LibStruct_t_
• k0 : DState
• kanctar : saucy
• keep : CaDiCaL::Flags
• keptglue : CaDiCaL::Limit
• keptsize : CaDiCaL::Limit
• Key : Amap_Item_t_, FxuDouble, Scl_Item_t_
• key : avl_node_struct, Gluco2::Map< K, D, H, E >::Pair, Gluco::Map< K, D, H, E >::Pair, Hash_Flt_Entry_t_, Hash_Gen_Entry_t_, Hash_Int_Entry_t_, Hash_Ptr_Entry_t_, Minisat::Map< K, D, H, E >::Pair, pla_types_struct, st__table_entry, stmm_table_entry
• kissat : kitten
• kit_id : CaDiCaL::sweep_proof_clause
• kitten : kissat
• klause : cadical_kitten, kitten
• klauses : cadical_kitten, kitten