BOB - A SAT-based solver for linear layouts of graphs
- 
            Updated
            Jun 19, 2025 
- C++
BOB - A SAT-based solver for linear layouts of graphs
Add a description, image, and links to the queue-layout topic page so that developers can more easily learn about it.
To associate your repository with the queue-layout topic, visit your repo's landing page and select "manage topics."