r2u2_cli 0.2.1

R2U2 CLI: A stream-based runtime monitor command-line interface
1
2
3
4
5
6
7
8
9

# 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.