| 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 |
| unDNF | ToySolver.Data.DNF |
| unfixLit | ToySolver.SAT.MessagePassing.SurveyPropagation |
| UninterestingSet | ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.MARCO, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA |
| unit | ToySolver.Graph.ShortestPath |
| unitVar | ToySolver.Data.LA |
| universe | ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.MARCO, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA |
| Unknown | ToySolver.Data.FOL.Arith |
| unliftBool | ToySolver.Data.LBool |
| 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 |
| update | ToySolver.Internal.Data.IndexedPriorityQueue |
| UPolynomial | ToySolver.Data.Polynomial |
| US | ToySolver.SAT.MUS.Types, ToySolver.SAT.MUS, ToySolver.SAT.MUS.Enum |
| userCuts | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
| UTerm | ToySolver.Data.Polynomial |
| UVec | ToySolver.Internal.Data.Vec |