Recall I reported a surprising result from an implementation of a
Linear Diophantine equation solver based on an algorithm by Contejean
and Devie. When using it to solve an inhomogeneous equation, a
version of my code generated a non-minimal solution. It turns out
that when solving the inhomogene
I uploaded a new version of the ACU unifier in package cmu. It
includes a Linear Diaphantine equation solver that now handles
inhomogeneous equations. What's interesting is the algorithm is
based on a paper by Contejean and Devie. That paper includes a proof
of correctness of their algorithm.
