Кодирование дифференциального уравнения первого порядка в виде формулы первого порядка

Can somebody help me in pointing out what will be the best encoding of following equation using first order formula so as to give it as input to the SMT solver??
x`=Ax+b

Ответы на вопрос(1)

Ваш ответ на вопрос