Z3-Python scripts to solve N-queens type puzzles on a Stratego board
Primary LanguagePythonBoost Software License 1.0BSL-1.0