Index - U
| UF | Jukebox.UnionFind |
| Unary | Jukebox.Form |
| Unique | Jukebox.Name |
| unique | Jukebox.Sat.Easy |
| uniqueNames | Jukebox.Form |
| unitary | Jukebox.TPTP.Parse.Core |
| unitCost | Jukebox.Tools.Clausify |
| Universe | Jukebox.Tools.GuessModel |
| universe | Jukebox.Tools.GuessModel |
| Unknown | |
| 1 (Data Constructor) | Jukebox.TPTP.Lexer |
| 2 (Data Constructor) | Jukebox.Form |
| unNameM | Jukebox.Name |
| Unpack | Jukebox.Form |
| Unsat | Jukebox.Form |
| Unsatisfiable | Jukebox.Form |
| unsatisfiable | Jukebox.Form |
| UnsatReason | Jukebox.Form |
| Untyped | Jukebox.TPTP.Parse.Core |
| unvariant | Jukebox.Name |
| Usage | Jukebox.Options |
| usageText | Jukebox.Options |
| UserState | |
| 1 (Type/Class) | Jukebox.TPTP.Parsec |
| 2 (Data Constructor) | Jukebox.TPTP.Parsec |
| userState | Jukebox.TPTP.Parsec |
| userStream | Jukebox.TPTP.Parsec |
| usort | Jukebox.Utils |