/ ├── .github/ │ └── copilot-instructions.md ├── bin/ # Compiled solver binaries ├── docs/ │ ├── design.md # Technical architecture and ADRs │ └── todo.md # Project roadmap and task status ├── src/ │ ...