Implementation of the constraint system of Linea, specified in the linea-specification repo - View it on GitHub