ommadawn46/z3-picross-solver

Z3 Picross Solver

Z3 Picross Solver

Usage

z3-picross-solver [-h] [--margin MARGIN] problem_file

or

python -m picross_solver.core [-h] [--margin MARGIN] problem_file

Install

pip install .

Demo

❯ z3-picross-solver ./sample_problems/wikipedia-8x8.yaml
[+] Successfully solved the problem.
        2 1 1 2
        1 1 1 1 3 2
    4 6 2 1 1 2 2 1
  4 □ □ ■ ■ ■ ■ □ □
2 2 □ ■ ■ □ □ ■ ■ □
2 2 ■ ■ □ □ □ □ ■ ■
  8 ■ ■ ■ ■ ■ ■ ■ ■
  2 ■ ■ □ □ □ □ □ □
2 2 ■ ■ □ □ □ □ ■ ■
2 2 □ ■ ■ □ □ ■ ■ □
  4 □ □ ■ ■ ■ ■ □ □

❯ z3-picross-solver --margin 1 ./sample_problems/wikipedia-20x20.yaml
[+] Successfully solved the problem.
                      1 1
                      1 1   3   3
                  3 2 1 3 2 3 5 1 2 3   2 2
            1 2 2 1 1 2 1 6 9 3 2 1 3 2 1 2 2
          2 2 3 3 1 1 2 3 4 1 2 2 7 2 4 2 1 2 1 1
        3 □ □ □ □ □ □ □ □ □ □ ■ ■ ■ □ □ □ □ □ □ □
        5 □ □ □ □ □ □ □ □ □ ■ ■ ■ ■ ■ □ □ □ □ □ □
      3 1 □ □ □ □ □ □ □ □ □ ■ ■ ■ □ ■ □ □ □ □ □ □
      2 1 □ □ □ □ □ □ □ □ □ ■ ■ □ □ ■ □ □ □ □ □ □
    3 3 4 □ □ □ □ □ □ ■ ■ ■ □ ■ ■ ■ □ ■ ■ ■ ■ □ □
    2 2 7 □ □ □ □ ■ ■ □ □ ■ ■ □ □ □ ■ ■ ■ ■ ■ ■ ■
    6 1 1 □ □ ■ ■ ■ ■ ■ ■ □ ■ □ □ □ ■ □ □ □ □ □ □
    4 2 2 □ ■ ■ ■ ■ □ □ □ ■ ■ □ □ ■ ■ □ □ □ □ □ □
      1 1 □ □ □ □ □ □ □ □ ■ □ □ □ ■ □ □ □ □ □ □ □
      3 1 □ □ □ □ □ □ □ ■ ■ ■ □ □ ■ □ □ □ □ □ □ □
        6 □ □ □ □ □ □ □ ■ ■ ■ ■ ■ ■ □ □ □ □ □ □ □
      2 7 □ ■ ■ □ □ □ ■ ■ ■ ■ ■ ■ ■ □ □ □ □ □ □ □
    6 3 1 ■ ■ ■ ■ ■ ■ □ □ ■ ■ ■ □ ■ □ □ □ □ □ □ □
1 2 2 1 1 ■ □ ■ ■ □ □ ■ ■ □ ■ □ □ ■ □ □ □ □ □ □ □
  4 1 1 3 □ □ □ ■ ■ ■ ■ □ □ ■ □ ■ □ □ ■ ■ ■ □ □ □
    4 2 2 □ □ □ □ □ □ □ □ ■ ■ ■ ■ □ ■ ■ □ ■ ■ □ □
    3 3 1 □ □ □ □ □ □ □ □ ■ ■ ■ □ □ ■ ■ ■ □ ■ □ □
      3 3 □ □ □ □ □ □ □ ■ ■ ■ □ □ □ □ ■ ■ ■ □ □ □
        3 □ □ □ □ □ □ ■ ■ ■ □ □ □ □ □ □ □ □ □ □ □
      2 1 □ □ □ □ □ □ ■ ■ □ ■ □ □ □ □ □ □ □ □ □ □

❯ z3-picross-solver --margin 2 ./sample_problems/wikipedia-30x20.yaml
[+] Successfully solved the problem.
                                                               1
                              2  1     1  2  3  6  8  1  1     4  6  4  2  1     1  1
            1  1  2  4  7  9  8  8  8  9  7  4  4  5  11 7  8  8  8  7  4  4  5  4  5  7  5  3  1  1
8  7  5  7  ■  ■  ■  ■  ■  ■  ■  ■  □  ■  ■  ■  ■  ■  ■  ■  □  ■  ■  ■  ■  ■  □  ■  ■  ■  ■  ■  ■  ■
5  4  3  3  □  □  ■  ■  ■  ■  ■  □  □  □  ■  ■  ■  ■  □  □  □  □  ■  ■  ■  □  □  □  □  ■  ■  ■  □  □
3  3  2  3  □  □  □  ■  ■  ■  □  □  □  □  □  ■  ■  ■  □  □  □  □  ■  ■  □  □  □  □  □  ■  ■  ■  □  □
4  3  2  2  □  □  □  ■  ■  ■  ■  □  □  □  □  □  ■  ■  ■  □  □  □  ■  ■  □  □  □  □  □  ■  ■  □  □  □
3  3  2  2  □  □  □  □  ■  ■  ■  □  □  □  □  □  ■  ■  ■  □  □  ■  ■  □  □  □  □  □  □  ■  ■  □  □  □
3  4  2  2  □  □  □  □  ■  ■  ■  □  □  □  □  □  ■  ■  ■  ■  □  ■  ■  □  □  □  □  □  ■  ■  □  □  □  □
   4  5  2  □  □  □  □  ■  ■  ■  ■  □  □  □  □  □  ■  ■  ■  ■  ■  □  □  □  □  □  □  ■  ■  □  □  □  □
   3  5  1  □  □  □  □  □  ■  ■  ■  □  □  □  □  □  ■  ■  ■  ■  ■  □  □  □  □  □  □  ■  □  □  □  □  □
   4  3  2  □  □  □  □  □  ■  ■  ■  ■  □  □  □  □  □  ■  ■  ■  □  □  □  □  □  □  ■  ■  □  □  □  □  □
   3  4  2  □  □  □  □  □  □  ■  ■  ■  □  □  □  □  □  ■  ■  ■  ■  □  □  □  □  □  ■  ■  □  □  □  □  □
   4  4  2  □  □  □  □  □  □  ■  ■  ■  ■  □  □  □  □  ■  ■  ■  ■  □  □  □  □  ■  ■  □  □  □  □  □  □
   3  6  2  □  □  □  □  □  □  □  ■  ■  ■  □  □  □  ■  ■  ■  ■  ■  ■  □  □  □  ■  ■  □  □  □  □  □  □
3  2  3  1  □  □  □  □  □  □  □  ■  ■  ■  □  □  □  ■  ■  □  ■  ■  ■  □  □  □  ■  □  □  □  □  □  □  □
4  3  4  2  □  □  □  □  □  □  □  ■  ■  ■  ■  □  ■  ■  ■  □  ■  ■  ■  ■  □  ■  ■  □  □  □  □  □  □  □
3  2  3  2  □  □  □  □  □  □  □  □  ■  ■  ■  □  ■  ■  □  □  □  ■  ■  ■  □  ■  ■  □  □  □  □  □  □  □
      6  5  □  □  □  □  □  □  □  □  ■  ■  ■  ■  ■  ■  □  □  □  ■  ■  ■  ■  ■  □  □  □  □  □  □  □  □
      4  5  □  □  □  □  □  □  □  □  □  ■  ■  ■  ■  □  □  □  □  ■  ■  ■  ■  ■  □  □  □  □  □  □  □  □
      3  3  □  □  □  □  □  □  □  □  □  ■  ■  ■  □  □  □  □  □  □  ■  ■  ■  □  □  □  □  □  □  □  □  □
      3  3  □  □  □  □  □  □  □  □  □  ■  ■  ■  □  □  □  □  □  □  ■  ■  ■  □  □  □  □  □  □  □  □  □
      1  1  □  □  □  □  □  □  □  □  □  □  ■  □  □  □  □  □  □  □  □  ■  □  □  □  □  □  □  □  □  □  □