История изменений

Ну да, там как раз представляют код в виде уравнения и суют параметры, а солвер говорит решаемо или не решаемо.

Да, верно. И вот можно создать уравнения которые полностью описывают систему (или нельзя.. не знаю точно). Но они обычно либо нерешаемы в принципе, либо за конечно время не решаются, либо решаются за конечное но очень большое.

Можно ограничить диапазоны переменных (собственно поэтому и bounded емнип). Тогда они решаются лучше. Чем меньше диапазон, тем быстрее, ясное дело.

Ну вот там нужно обычно найти баланс между надёжностью и собственно тем чтобы даже на больших компрьютерах дождаться какого то решения.

Ну да, там как раз представляют код в виде уравнения и суют параметры, а солвер говорит решаемо или не решаемо.

да, верно. И вот можно создать уравнения которые полностью описывают систему (или нельзя.. не знаю точно). Но они обычно либо нерешаемы в принципе, либо за конечно время не решаются, либо решаются за конечное но очень большое.

А можно по типу тестов, только очень интенсивных. Эти решаются. Чем меньше тестов, тем быстрее, ясное дело.

Ну вот там нужно обычно найти баланс между надёжностью и собственно тем чтобы даже на больших компрьютерах дождаться какого то решения.

Ну да, там как раз представляют код в виде уравнения и суют параметры, а солвер говорит решаемо или не решаемо.

да, верно. И вот можно создать уравнения которые полностью описывают систему. Но они обычно либо нерешаемы в принципе, либо за конечно время не решаются, либо решаются за конечное но очень большое.

А можно по типу тестов, только очень интенсивных. Эти решаются. Чем меньше тестов, тем быстрее, ясное дело.

Ну вот там нужно обычно найти баланс между надёжностью и собственно тем чтобы даже на больших компрьютерах дождаться какого то решения.