This software package implements a web service for solving unsolved Sudoku boards. There are package consists of three main components:

• sudoku_solver_inez: The backend of this service that computes solutions of an unsolved Sudoku board. It uses SMT/ILP constraint solver Inez to solve unsolved boards. sudoku_solver_inez written in OCaml.
• SudokuServer: An HTTP server that provides a web API for solving Sudoku boards. SudokuServer uses NanoHttpd to implement an HTTP server. SudokuServer is written in Java.
• sudoku_ui_prj: The frontend web server that provides a graphical user interface for interacting with this web service. sudoku_ui_prj is implemented using ReactJS. This server serves webpages that can be rendered by browsers.

A Docker image running this webservice is available in Docker Hub repository jgaltidor/sudoku_solver_service. This image is easily downloaded to your Docker installation.

docker pull jgaltidor/sudoku_solver_service_inez

Running this web service with this Docker image is easily performed by executing the following command:

docker run -p 3000:3000 -p 8080:8080 -i jgaltidor/sudoku_solver_service_inez /bin/bash -c '$SUDOKU_SERVICE/run.sh'