SAT@Home: 4 new solutions in the experiment for diagonal Latin squares

Printable View