Kodowanie równania różniczkowego pierwszego rzędu jako formuła pierwszego rzędu
Czy ktoś może mi pomóc w wskazaniu, jakie będzie najlepsze kodowanie następującego równania przy użyciu formuły pierwszego rzędu, aby dać mu dane wejściowe do rozwiązania SMT?