| Label | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
| Language | ToySolver.Converter.MIP2SMT |
| lastGroupIndex | ToySolver.Text.GCNF |
| lastInEdge | ToySolver.Graph.ShortestPath |
| LBool | ToySolver.Data.LBool |
| lc | ToySolver.Data.Polynomial |
| lcm | ToySolver.Data.Polynomial |
| Le | |
| 1 (Data Constructor) | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
| 2 (Data Constructor) | ToySolver.Data.OrdRel, ToySolver.Data.FOL.Arith, ToySolver.Data.LA, ToySolver.BitVector.Base, ToySolver.BitVector, ToySolver.Arith.Simplex |
| LearningClause | ToySolver.SAT.Config, ToySolver.SAT |
| LearningHybrid | ToySolver.SAT.Config, ToySolver.SAT |
| LearningStrategy | ToySolver.SAT.Config, ToySolver.SAT |
| lex | ToySolver.Data.Polynomial |
| lFalse | ToySolver.Data.LBool |
| lift1 | ToySolver.Data.LA |
| lift2 | ToySolver.Data.AlgebraicNumber.Root |
| liftBool | ToySolver.Data.LBool |
| linearize | |
| 1 (Function) | ToySolver.SAT.Encoder.Integer |
| 2 (Function) | ToySolver.Converter.PBLinearization |
| linearizePBSum | ToySolver.SAT.Encoder.PBNLC |
| linearizePBSumWithPolarity | ToySolver.SAT.Encoder.PBNLC |
| linearizeWBO | ToySolver.Converter.PBLinearization |
| LinearSearch | ToySolver.SAT.PBO |
| Lit | |
| 1 (Type/Class) | ToySolver.Text.QDimacs |
| 2 (Type/Class) | ToySolver.SAT.Types, ToySolver.SAT |
| 3 (Type/Class) | ToySolver.EUF.FiniteModelFinder |
| 4 (Type/Class) | ToySolver.Arith.Cooper.Base, ToySolver.Arith.Cooper |
| literal | ToySolver.SAT.Types, ToySolver.SAT |
| LitMap | ToySolver.SAT.Types |
| litNot | ToySolver.SAT.Types, ToySolver.SAT |
| litPolarity | ToySolver.SAT.Types, ToySolver.SAT |
| LitSet | ToySolver.SAT.Types |
| litUndef | ToySolver.SAT.Types |
| litVar | ToySolver.SAT.Types, ToySolver.SAT |
| lm | ToySolver.Data.Polynomial |
| lnot | ToySolver.Data.LBool |
| logMessage | ToySolver.SAT.PBO.Context |
| lookupCoeff | |
| 1 (Function) | ToySolver.Data.Polynomial |
| 2 (Function) | ToySolver.Data.LA |
| lookupRow | ToySolver.Arith.Simplex.Textbook |
| LP | ToySolver.Arith.Simplex.Textbook.LPSolver |
| LPSolve | |
| 1 (Type/Class) | ToySolver.Data.MIP.Solver.LPSolve, ToySolver.Data.MIP.Solver |
| 2 (Data Constructor) | ToySolver.Data.MIP.Solver.LPSolve, ToySolver.Data.MIP.Solver |
| lpSolve | ToySolver.Data.MIP.Solver.LPSolve, ToySolver.Data.MIP.Solver |
| lpSolvePath | ToySolver.Data.MIP.Solver.LPSolve, ToySolver.Data.MIP.Solver |
| Lt | ToySolver.Data.OrdRel, ToySolver.Data.FOL.Arith, ToySolver.Data.LA, ToySolver.BitVector.Base, ToySolver.BitVector, ToySolver.Arith.Simplex |
| lt | ToySolver.Data.Polynomial |
| lTrue | ToySolver.Data.LBool |
| LubyRestarts | ToySolver.SAT.Config, ToySolver.SAT |
| lUndef | ToySolver.Data.LBool |