wharve

Last released Dec 13, 2024

Whole architecture verification.

vizing

Last released Dec 5, 2024

Constraint-based list-colouring in Python.

ryser

Last released Dec 5, 2024

Latin squares and related designs.

listcolouring

Last released Nov 22, 2024

List colouring of graphs in Python.

experts

Last released Oct 30, 2024

Mixture of experts.

psssodls

Last released May 7, 2024

Generate PSSSODLS in Minion 3 format.

dokushin

Last released May 3, 2024

Modeling Sudoku puzzles in Python

Wave

Last released Mar 15, 2024

Whole architecture verification.