Former repository for the implementation of the constraint system of Linea - View it on GitHub