Index - U
| unassign | Funsat.Types |
| unEval | Funsat.Circuit |
| unLit | Funsat.Types |
| unsafeFreezeAss | Funsat.Types |
| unsafeThawAss | Funsat.Types |
| Unsat | Funsat.Types, Funsat.Solver |
| UnsatError | Funsat.Solver |
| UnsatisfiableCore | Funsat.Resolution |
| unShared | Funsat.Circuit |
| unTable | Text.Tabular |
| unVar | Funsat.Types |
| unwrapString | Funsat.Solver |