Last released Oct 30, 2023
Tiling solver
Last released Oct 22, 2023
An exact cover solver that returns all solutions for a given problem
Implements the zdd algorithms that are on the wiki page
Supported by