GitHub repository: rhalbersma/zed
Primary language: Python
Created: 2018-07-11T07:30:12Z
Description: Z3-Python scripts to solve N-queens type puzzles on a Stratego board