diff --git a/doc/images/wiki/check_list_window.png b/doc/images/wiki/check_list_window.png new file mode 100644 index 0000000000000000000000000000000000000000..6e69b3804b1c88d803571447859a71d6fe560f7f Binary files /dev/null and b/doc/images/wiki/check_list_window.png differ diff --git a/doc/images/wiki/run_select_solver_window.png b/doc/images/wiki/run_select_solver_window.png new file mode 100644 index 0000000000000000000000000000000000000000..ba4a3500c6b30cf5a51bd5ef4c73261d2021317a Binary files /dev/null and b/doc/images/wiki/run_select_solver_window.png differ diff --git a/doc/images/wiki/solver_log_window.png b/doc/images/wiki/solver_log_window.png new file mode 100644 index 0000000000000000000000000000000000000000..fd0e5b861d69feee5087cb6af2ce414687b73f98 Binary files /dev/null and b/doc/images/wiki/solver_log_window.png differ