Index - U
| Unary | Satchmo.SMT.Exotic.Natural |
| Unary_Addition | Satchmo.SMT.Exotic.Natural |
| unary_fixed | Satchmo.SMT.Exotic.Natural |
| unary_flexible | Satchmo.SMT.Exotic.Natural |
| union | Satchmo.Relation.Op, Satchmo.Relation |
| universals | Satchmo.MonadSAT, Satchmo.SAT.Tmpfile, Satchmo.SAT |