For my research I'm confronted with a system of linear diophantine equations.
I found several research papers on the topic but before I start to create a solver myself, I would like to know if one does know of a (lightweight) C++ math library, which solves such a system.