Algorithmic Linearly Constrained Gaussian Processes