Z3-Python scripts to solve N-queens type puzzles on a Stratego board
-
Updated
Sep 9, 2026 - Python
Z3-Python scripts to solve N-queens type puzzles on a Stratego board
A strategic board game implementation in Java, focusing on OOP principles and clean MVC architecture.
To associate your repository with the stratego-board topic, visit your repo's landing page and select "manage topics."