Last released Apr 20, 2016
n Queens Problem solved using BDD as interactive configuration
Supported by