N-Queens Problem Solver
Peter Thygesen, Thomas Gravgaard & Allan Thræn
Based on javaBDD.

Problem Size: