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

- k -

• KATCHES : cadical_kitten.c, kitten.c
• kCS_WITH_DISCOVER_MONOTONE_SIGNALS : kliveness.c
• kCS_WITH_SAFETY_AND_DCS_INVARIANTS : kliveness.c
• kCS_WITH_SAFETY_AND_USER_GIVEN_DCS_INVARIANTS : kliveness.c
• kCS_WITH_SAFETY_INVARIANTS : kliveness.c
• KISS_type : espresso.h
• KISSAT_assert : global.h
• KISSAT_assert_if_has_fileno : colors.h
• kissat_check_heap : heap.h
• kissat_check_queue : queue.h
• kissat_check_statistics : statistics.h
• kissat_check_vectors : vector.h
• KISSAT_COMPACT : global.h
• kissat_extremely_verbose : print.h
• KISSAT_IS_BIG_ENDIAN : keatures.h
• kissat_line : print.h
• kissat_message : print.h
• KISSAT_NDEBUG : global.h
• KISSAT_NOPTIONS : global.h
• KISSAT_NPROOFS : global.h
• kissat_phase : print.h
• KISSAT_QUIET : global.h
• kissat_require : require.h
• kissat_require_initialized : require.h
• kissat_require_valid_external_internal : require.h
• kissat_section : print.h
• kissat_signal : print.h
• kissat_verbose : print.h
• kissat_very_verbose : print.h
• kissat_warning : print.h
• Kit_CubeForEachLiteral : kit.h
• Kit_DsdNtkForEachObj : kit.h
• Kit_DsdObjForEachFanin : kit.h
• Kit_DsdObjForEachFaninReverse : kit.h
• KIT_FACTOR_MEM_LIMIT : kitFactor.c
• Kit_GraphForEachLeaf : kit.h
• Kit_GraphForEachNode : kit.h
• KIT_INFINITY : kit.h
• KIT_ISOP_MEM_LIMIT : kitIsop.c
• KIT_MAX : kit.h
• KIT_MIN : kit.h
• Kit_PlaCubeForEachVar : kit.h
• Kit_PlaForEachCube : kit.h
• Kit_SopForEachCube : kit.h
• KITTEN_BLIT : kitten.c
• kitten_terminated_1 : terminate.h
• kitten_terminated_2 : terminate.h
• KITTEN_TICKS : cadical_kitten.c, kitten.c
• KSAT_MINTS : giaSatLut.c
• KSAT_OBJS : giaSatLut.c
• KSAT_SPACE : giaSatLut.c