| Label | Text.LPFile |
| Language | Converter.LP2SMT |
| lastGroupIndex | Text.GCNF |
| LazyConstraint | Text.LPFile |
| LBool | Data.LBool |
| Le | |
| 1 (Data Constructor) | Text.LPFile |
| 2 (Data Constructor) | Data.ArithRel, Algorithm.Simplex2, Data.FOL.Arith |
| leadingTerm | Data.Polynomial |
| LearningClause | SAT |
| LearningHybrid | SAT |
| LearningStrategy | SAT |
| lex | Data.Polynomial |
| lFalse | Data.LBool |
| lift1 | Data.LA |
| lift2 | Data.AlgebraicNumber.Root |
| liftBool | Data.LBool |
| linearize | SAT.Integer |
| LinearSearch | SAT.PBO |
| Lit | |
| 1 (Type/Class) | Text.PBFile |
| 2 (Type/Class) | SAT.Types, SAT |
| 3 (Type/Class) | Algorithm.FOLModelFinder |
| 4 (Type/Class) | Algorithm.FourierMotzkin.Core, Algorithm.FourierMotzkin |
| 5 (Data Constructor) | Algorithm.Cooper.Core, Algorithm.Cooper |
| 6 (Type/Class) | Algorithm.Cooper.Core, Algorithm.Cooper |
| literal | SAT.Types, SAT |
| LitMap | SAT.Types |
| litNot | SAT.Types, SAT |
| litPolarity | SAT.Types, SAT |
| LitSet | SAT.Types |
| litUndef | SAT.Types |
| litVar | SAT.Types, SAT |
| lnot | Data.LBool |
| lookupCoeff | |
| 1 (Function) | Data.Polynomial |
| 2 (Function) | Data.LA |
| lookupRow | Algorithm.Simplex |
| LP | |
| 1 (Type/Class) | Text.LPFile |
| 2 (Data Constructor) | Text.LPFile |
| 3 (Type/Class) | Algorithm.LPSolver |
| Lt | Data.ArithRel, Algorithm.Simplex2, Data.FOL.Arith |
| lTrue | Data.LBool |
| LubyRestarts | SAT |
| lUndef | Data.LBool |