# R2U2 Front End Selection

R2U2 supports the general-purpose Booleanizer for reasoning about non-Boolean data.

If your specification only has inputs of type `bool`, then the Booleanizer engine is not necessary.

## Booleanizer

The Booleanizer is a general purpose engine that can perform arithmetic, bitwise operations, parameterized set aggregation (`foratleast`, etc.), and other such capabilities.