Index - U
| UF | Jukebox.UnionFind |
| Unary | Jukebox.Form |
| Unique | Jukebox.Name |
| unique | Jukebox.HighSat |
| uniqueNames | Jukebox.Form |
| unitary | Jukebox.TPTP.Parse.Core |
| unitCost | Jukebox.Clausify |
| Universe | Jukebox.GuessModel |
| universe | Jukebox.GuessModel |
| Unknown | |
| 1 (Data Constructor) | Jukebox.TPTP.Lexer |
| 2 (Data Constructor) | Jukebox.Form |
| unNameM | Jukebox.Name |
| Unpack | Jukebox.Form |
| Unsatisfiable | Jukebox.Form |
| unsatisfiable | Jukebox.Form |
| Untyped | Jukebox.TPTP.Parse.Core |
| Usage | Jukebox.Options |
| usage | Jukebox.Options |
| usageTool | 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 |