来源：https://stackoverflow.com/questions/48031462/z3-solve-the-eight-queens-puzzle 标签 python Z3 smt z3py
