| ubcsatBest | ToySolver.SAT.Solver.SLS.UBCSAT |
| ubcsatBestFeasible | ToySolver.SAT.Solver.SLS.UBCSAT |
| ubcsatMany | ToySolver.SAT.Solver.SLS.UBCSAT |
| UDigit | ToySolver.SAT.Encoder.PB.Internal.Sorter |
| UMonomial | ToySolver.Data.Polynomial |
| Unbounded | |
| 1 (Data Constructor) | ToySolver.Arith.Simplex, ToySolver.Arith.Simplex.Simple |
| 2 (Data Constructor) | ToySolver.Arith.Simplex.Textbook.LPSolver |
| 3 (Data Constructor) | ToySolver.Arith.Simplex.Textbook.LPSolver.Simple, ToySolver.Arith.Simplex.Textbook.MIPSolver.Simple |
| unconstrainPB | ToySolver.Converter.PB, ToySolver.Converter |
| unDNF | ToySolver.Data.DNF |
| unfixLit | ToySolver.SAT.Solver.MessagePassing.SurveyPropagation |
| UninterestingSet | ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA, ToySolver.Combinatorial.HittingSet.MARCO |
| unit | ToySolver.Graph.ShortestPath |
| unitVar | ToySolver.Data.LA |
| universe | ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA, ToySolver.Combinatorial.HittingSet.MARCO |
| Unknown | ToySolver.Data.FOL.Arith |
| unliftBool | ToySolver.Data.LBool |
| unpackClause | ToySolver.SAT.Types, ToySolver.SAT.Solver.CDCL, ToySolver.SAT, ToySolver.FileFormat.CNF |
| unpackLit | ToySolver.SAT.Types |
| unsafeModify | ToySolver.Internal.Data.Vec |
| unsafeModify' | ToySolver.Internal.Data.Vec |
| unsafePeek | ToySolver.Internal.Data.Vec |
| unsafePop | ToySolver.Internal.Data.Vec |
| unsafeRead | ToySolver.Internal.Data.Vec |
| unsafeWrite | ToySolver.Internal.Data.Vec |
| Unsat | |
| 1 (Data Constructor) | ToySolver.Data.FOL.Arith |
| 2 (Data Constructor) | ToySolver.Arith.Simplex, ToySolver.Arith.Simplex.Simple |
| 3 (Data Constructor) | ToySolver.Arith.Simplex.Textbook.LPSolver |
| UnsatBased | ToySolver.SAT.PBO |
| Unsupported | ToySolver.SMT |
| UNumber | ToySolver.SAT.Encoder.PB.Internal.Sorter |
| unWithFastParser | ToySolver.FileFormat |
| update | ToySolver.Internal.Data.IndexedPriorityQueue |
| UPolynomial | ToySolver.Data.Polynomial |
| US | ToySolver.SAT.MUS.Types, ToySolver.SAT.MUS.Enum, ToySolver.SAT.MUS |
| UTerm | ToySolver.Data.Polynomial |
| UVec | ToySolver.Internal.Data.Vec |