LA synthesis

Redirect to:

• Linear arithmetic synthesis