X-Nico

unusual facts about Linear Arithmetic synthesis