Basic Euclidean solver for linear integer equations.
This solver generates "explanations". 
