3 кувшина с водой [закрыто]
Мне нужно решить загадку 3 кувшина с водой, и я очень потерялся. Емкость кувшинов 8, 5 и 3 литра. Вначале кувшин на 8 литров полон, а в конце кувшины на 8 и 5 литров должны иметь по 4 литра в каждом, а третий должен быть пуст. Решаю с помощью синтаксиса SMT.