Скінченний розв’язувач обмежень

Повним перебором розв’язує малі цілочисельні обмеження з явними межами.

Brute-force small integer constraints with transparent bounds.