Latin Square Solver using logic-solver

This is a React-based web app which has a form to specify a problem size and start generating Latin squares of given size.

A Latin square solver is implemented using the SAT solver logic-solver.

The demo app can be launched as below:

yarn install
yarn run start

The app can be accessed via a Web browser. The default port is 3000.