D
iophantine_
E
qns_
L
in_
H
om
List_Vector
Linear_Diophantine_Equations
Sorted_Wrt
Minimize_Wrt
Simple_Algorithm
Algorithm
Solver_Code