Module csat

Structs

CSatTransformer 🔒

A transformer which slices Expressions towards the backend’s preferred width, creating intermediate variables to hold partial calculations and then combining them to recover the original expression.

Constants

MIN_EXPRESSION_WIDTH 🔒

Minimum width accepted by the CSatTransformer.

Functions

fits_in_one_identity 🔒

Checks if this expression can fit into one arithmetic identity