https://musicproductionknowledge.com/knowledge/synthesis/linear-arithmetic-synthesis