Задача Эйнштейна. (c++ математическая логика)

Воспользуемся библиотекой BuDDy для решения головоломки, известной как «Задача Эйнштейна».



Для выполнения задания необходимо написать программу на языке

C++ с использованием библиотеки BuDDy.

--



- выбрать систему, состоящую из N объектов, которые обладают M

свойствами, принимающими N различных значений;

- задать n1 ограничений типа 1, n2 ограничений типа 2, n3 ограничений типа

3 и n4 ограничений типа 4 (типы ограничений возьмите из задачи

Эйнштейна, ni > 0);

-  найти все возможные решения;

- придумать физическую интерпретацию задачи;

- если задача не имеет решений или же имеет не одно решение, следует

убрать, добавить и/или изменить некоторые ограничения так, чтобы

задача имела только одно единственное решение.



Для выполнения задания необходимо написать программу на языке

C++ с использованием библиотеки BuDDy.



Есть пример (с кодом) решения аналогичной задачи.





Необходимы: скомпилированная программа с исходным кодом, отчёт по требованиям, презентация по требованиям.

Библиотеку и примеры отправлю по почте/размещу на rghost