Module raptor::solver

Bindings around the z3 solver for Raptor IR

The z3 solver only works over certain expression types. Expressions given to the z3 solver must not include references or dereferences.

Functions

maximize	Maximize the given value by the given constraints.
minimize	Minimize the given value by the given constraints.
solve	Solve for a possible solution to the given value with the given constraints.