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'