interactive user configurator with Binary Decision Diagram for the 8 queens problem