symbrim.utilities.utilities

Utilities for SymBRiM.

Functions

check_zero	Check if an expression is zero based on random evaluations.
random_eval	Evaluate an expression with random values.