There are 0 repository under dedekind-numbers topic.
Inequivalent maximal antichains
The 8 Dedekind N. on 51 minutes.
A132581 posets.
C program what computes A132582. Extensible to any wide.
This repository contains two implementations of the algorithm to compute the ninth Dedekind number. It utilizes matrix multiplication.
Dedekind numbers and today fastest computers.