| L | Data.SBV.Examples.Uninterpreted.UISortAllSat |
| lAdam | Data.SBV.Examples.Puzzles.U2Bridge |
| ladnerFischerTrace | Data.SBV.Examples.BitPrecise.PrefixSum |
| Larry | Data.SBV.Examples.Puzzles.U2Bridge |
| larry | Data.SBV.Examples.Puzzles.U2Bridge |
| lBono | Data.SBV.Examples.Puzzles.U2Bridge |
| lda | Data.SBV.Examples.BitPrecise.Legato |
| ldn | Data.SBV.Examples.Existentials.Diophantine |
| ldx | Data.SBV.Examples.BitPrecise.Legato |
| lEdge | Data.SBV.Examples.Puzzles.U2Bridge |
| legato | Data.SBV.Examples.BitPrecise.Legato |
| legatoInC | Data.SBV.Examples.BitPrecise.Legato |
| legatoIsCorrect | Data.SBV.Examples.BitPrecise.Legato |
| lf | Data.SBV.Examples.BitPrecise.PrefixSum |
| literal | Data.SBV, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3 |
| lLarry | Data.SBV.Examples.Puzzles.U2Bridge |
| Location | Data.SBV.Examples.Puzzles.U2Bridge |
| Logic | Data.SBV, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3 |
| LRA | Data.SBV, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3 |
| lsb | Data.SBV, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3 |