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

- k -

• key : main.h
• kiss : espresso.h, globals.c
• kissat_check_dummy_to_avoid_warning : check.c
• kissat_config_dummy_to_avoid_warning : config.c
• kissat_dump_dummy_to_avoid_warning : dump.c
• kissat_is_terminal : colors.c, colors.h
• kissat_log_dummy_to_avoid_pedantic_warning : logging.c
• kissat_options_begin : kptions.c, options.h
• kissat_options_end : kptions.c, options.h
• kissat_print_dummy_to_avoid_warning : print.c
• kissat_profile_dummy_to_avoid_warning : profile.c
• kissat_proof_dummy_to_avoid_warning : proof.c
• kissat_report_dummy_to_avoid_warning : report.c
• kissat_statistics_dummy_to_avoid_warning : statistics.c
• kissat_terminate_dummy_to_avoid_warning : terminate.c