Here is a list of all documented class members with links to the class documentation for each member:

- l -

• lastEpochAdmittedLits : MallobSharing
• lastEpochReceivedLits : MallobSharing
• launchSharers() : SharingStrategyFactory
• lbd : ClauseExchange
• lbdLimitAtImport : MallobSharing
• lbdLimitPerProducer : HordeSatSharing
• learn() : Cadical
• learning() : Cadical
• left_child : MallobSharing
• Lingeling() : Lingeling
• literalPerRound : HordeSatSharing, SimpleSharing
• literalsPerProducer : HordeSatSharing
• lits : ClauseExchange
• loadFormula() : Cadical, GlucoseSyrup, Kissat, KissatINCSolver, KissatMABSolver, Lingeling, MapleCOMSPSSolver, MiniSat, preprocess, SolverInterface, StructuredBVA, YalSat
• LocalSearchInterface() : LocalSearchInterface
• lock() : Mutex
• lsStats : LocalSearchInterface
• lsType : LocalSearchInterface