Implement solver

[DenHvideDvaerg]

No description provided.

[Copilot]

Pull Request Overview

Implements a complete MIP-based solver for Snake puzzles using OR-Tools. The solver handles complex constraint satisfaction including snake path connectivity, row/column sum constraints, and geometric restrictions.

• Replaces template code with full mathematical optimization model
• Adds comprehensive constraint implementations for valid snake paths
• Implements complete test suite with multiple puzzle scenarios

Reviewed Changes

Copilot reviewed 4 out of 4 changed files in this pull request and generated 2 comments.

File	Description
snake_mip_solver/solver.py	Complete solver implementation with OR-Tools MIP model and constraint generation
tests/test_solver.py	Comprehensive test suite covering various puzzle sizes and edge cases
snake_mip_solver/puzzle.py	Enhanced board visualization with improved alignment formatting
main.py	Extended example usage with multiple puzzle scenarios and solution validation

---

_{Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.}