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