Можно ли как-то решать уравнения и системы уравнений с целочисленными переменными заданной двоичной разрядности, в которых используются битовые операции типа сдвигов, логических умножений/сложений и т.д.?
