Here are
5 public repositories
matching this topic...
A python tool for solving reachability/safety, parity, weak parity and generalized parity games
Updated
Aug 16, 2018
Python
Counting (maximal) antichains in the lattice of set partitions
Updated
Oct 29, 2022
Jupyter Notebook
Counting (maximal) antichains of non-crossing partitions
Updated
Nov 22, 2022
Jupyter Notebook
Contains the codes and formal context files for (maximal) antichains of Tamari lattices
Updated
Dec 30, 2022
Jupyter Notebook
Minimal elements for the base b representations of the prime numbers > b for the subsequence ordering, for 2 ≤ b ≤ 36
Improve this page
Add a description, image, and links to the
antichains
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
antichains
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.