Here is a list of all macros with links to the files they belong to:
- l -
- L_CODES : deflate.h
- l_False : bmcBmcS.c, SolverTypes.h
- L_IND : satSolver.c, satSolver2.c, satSolver3.c, msatInt.h
- L_ind : satSolver.c, satSolver2.c, satSolver3.c, msatInt.h
- L_LIT : satSolver.c, satSolver2.c, satSolver3.c, msatInt.h
- L_lit : satSolver.c, satSolver2.c, satSolver3.c, msatInt.h
- l_True : bmcBmcS.c, SolverTypes.h
- l_Undef : bmcBmcS.c, SolverTypes.h
- LARGE_LEVEL : abcLut.c
- LARGE_NUM : exorLink.c
- LARGEST_FINAL_SIZE : place_gordian.h
- largest_string : set.c
- LAST_WATCH_POINTER : watch.h
- LD_MAX_ARENA : arena.h
- LD_MAX_ARENA_32 : arena.h
- LD_MAX_ARITY : congruence.hpp, congruence.c
- LD_MAX_COUNTREF_SIZE : vivify.c
- LD_MAX_GLUE : clause.h
- LD_MAX_LIT : literal.h
- LD_MAX_REF : reference.h
- LD_MAX_USED : clause.h
- LD_MAX_VAR : literal.h
- LD_MAX_VECTORS : vector.h
- LD_MAX_WALK_REF : walk.c
- LEARNED_CLAUSES : statistics.h
- LEARNED_FLAG : cadical_kitten.c, kitten.c
- LEARNT_MAX_INCRE_DEFAULT : satClause.h
- LEARNT_MAX_RATIO_DEFAULT : satClause.h
- LEARNT_MAX_START_DEFAULT : satClause.h
- Len : deflate.h
- LENGTH_CODES : deflate.h
- LESS_FOCUSED_ORDER : reorder.c
- LESS_FOCUSED_PROBE : transitive.c
- LESS_LIT : congruence.c
- LESS_OTHER : congruence.c
- LESS_STABLE_ORDER : reorder.c
- LESS_STABLE_PROBE : transitive.c
- LEVEL : assign.h
- LF_CUT_MAX : giaLf.c
- LF_CUT_WORDS : giaLf.c
- Lf_CutForEachVar : giaLf.c
- Lf_CutSetForEachCut : giaLf.c
- LF_EPSILON : giaLf.c
- LF_LEAF_MAX : giaLf.c
- LF_LOG_PAGE : giaLf.c
- LF_NO_LEAF : giaLf.c
- LF_TT_WORDS : giaLf.c
- LIGHT_GRAY : colors.h
- LIMIT_FIFO : fifo.h
- LINE : message.hpp
- LINEAR : kimits.h
- LINK : queue.h
- LIT : literal.h
- LITERALS : deflate.h
- LITS : internal.h
- Llb_MgrForEachPart : llb3Image.c, llb4Image.c
- Llb_MgrForEachVar : llb3Image.c, llb4Image.c
- Llb_PartForEachVar : llb3Image.c, llb4Image.c
- Llb_VarForEachPart : llb3Image.c, llb4Image.c
- LMS_MAX_WORD : abcRec3.c
- LMS_VAR_MAX : abcRec3.c
- LOAD : infback.c, inflate.c
- local : adler32.c, crc32.c, gzguts.h, zutil.h
- LOG : cadical_kitten.c, logging.hpp, kitten.c, logging.h
- LOG2 : logging.h
- LOG3 : logging.h
- LOG4 : logging.h
- LOG5 : logging.h
- LOG_API_CALL_BEGIN : cadical_solver.cpp
- LOG_API_CALL_END : cadical_solver.cpp
- LOG_API_CALL_RETURNS : cadical_solver.cpp
- LOGANDGATE : logging.h
- LOGATE : congruence.c
- LOGBACKBONE : sweep.c
- LOGBINARY : logging.h
- LOGBINARY2 : logging.h
- LOGBINARY3 : logging.h
- LOGBPI : espresso.h
- LOGCLS : logging.h
- LOGCLS2 : logging.h
- LOGCLS3 : logging.h
- LOGCOUNTEDCLS : logging.h
- LOGCOUNTEDLITS : logging.h
- LOGCOUNTEDREFLITS : logging.h
- LOGEXT : logging.h
- LOGEXT2 : logging.h
- LOGINTS : logging.h
- LOGINTS3 : logging.h
- LOGITEGATE : logging.h
- LOGLINE : logging.h
- LOGLIT : logging.hpp
- LOGLITPART : logging.h
- LOGLITS : cadical_kitten.c, logging.h
- LOGLITS3 : logging.h
- LOGLITSET : logging.h
- LOGN : kimits.h
- LOGOPT : options.hpp, options.h
- LOGPARTITION : sweep.c
- LOGPREFIX : allocate.c
- LOGPUSHED : weaken.c
- LOGREF : logging.h
- LOGREF2 : logging.h
- LOGREF3 : logging.h
- LOGREPRCLS : logging.h
- LOGRES : logging.h
- LOGRES2 : logging.h
- LOGTMP : logging.h
- LOGUNARY : logging.h
- LOGUNSIGNEDS2 : logging.h
- LOGUNSIGNEDS3 : logging.h
- LOGWATCH : logging.h
- LOGXOR : logging.h
- LOGXORGATE : logging.h
- LOOK : gzguts.h
- LOOP : espresso.h
- LOOPCOPY : espresso.h
- LOOPINIT : espresso.h
- LOWER_BOUND_FOR_BLOCKING_RESTART : Constants.h
- Lpk_CutForEachLeaf : lpkInt.h
- Lpk_CutForEachNode : lpkInt.h
- Lpk_CutForEachNodeReverse : lpkInt.h
- LPK_CUTS_MAX : lpkInt.h
- LPK_SIZE_MAX : lpkInt.h
- Lpk_SuppForEachVar : lpkInt.h
- LSEEK : gzlib.c
