Last released Mar 15, 2024
Whole architecture verification.
Latin squares and related designs.
List-colouring in Python.
Last released Mar 11, 2024
List colouring in Python with NetworkX.
Last released Jul 1, 2020
Solve Sudoku with Python.
Last released Jun 30, 2020
Generate PSSSODLS in Minion 3 format.
Supported by