Talk: Linear Arithmetic synthesis

This article duplicates an existing article, L/A synthesis .  Please merge it with the existing article.

Cornutt (talk) 03:13, October 24, 2017 (UTC)