[diophantine] Add simple Diophantine equation solver