Сделал...

[thesz]

...необычный решатель задач булевской выполнимости.

Забавные подробности воспоследуют.