init logic, create BDD
add rules
Small changes
Importing Jens' changes
Adds the read me file
Allows for different board sizes
Cleans up code
added to the conclusion in README
Merge branch 'jens' of https://github.com/lundmikkel/NQueens into jens
added reference to john whaley's code in README
The logic places queens that must be set
Merge branch 'jens' of https://github.com/lundmikkel/NQueens into jens
Adds to the report