Alan-Jowett / bdd_test / 19241652917

88%

push

github

Add comprehensive N-Queens stress testing with updated documentation (#32)

- Add N-Queens constraint satisfaction problems (4, 6, and 8 queens variants)
- Include complete test expressions and reference files for both default and reordered variable ordering
- Add N_QUEENS_STRESS_TESTING.md with detailed performance analysis and technical insights
- Update VISUALIZATIONS.md to document current system capabilities for all N-Queens variants
- Enable all three N-Queens tests in CMakeLists.txt with proper reference file validation
- Generate complete reference outputs (DOT files, node tables, and PNG visualizations where practical)

The 8-Queens problem demonstrates advanced constraint satisfaction capabilities with 71,166 BDD nodes
generated in 1.83 seconds, while 6-Queens shows 3,361 nodes, and 4-Queens provides an educational
baseline with 95 nodes and full PNG visualization support.

Signed-off-by: Alan Jowett <alan.jowett@microsoft.com>
Co-authored-by: Alan Jowett <alan.jowett@microsoft.com>

681 of 845 branches covered (80.59%)

Branch coverage included in aggregate %.

675 of 746 relevant lines covered (90.48%)

64239.71 hits per line