Codificação da equação diferencial de primeira ordem como fórmula de primeira ordem

Alguém pode me ajudar a apontar qual será a melhor codificação da equação seguinte usando a fórmula de primeira ordem para dar a ela como entrada para o solucionador de SMT?

x`=Ax+b