A python tool for solving reachability/safety, parity, weak parity and generalized parity games
Efficient C++ implementations of different fast algorithms for Minimum Path Cover
Counting (maximal) antichains of non-crossing partitions
Counting (maximal) antichains in the lattice of set partitions
The minimal elements of the prime numbers which are > b written in the positional numeral system with radix b, as digit strings under the subsequence ordering, for 2 ≤ b ≤ 36
Contains the codes and formal context files for (maximal) antichains of Tamari lattices
Unified GUI Censorship Resistant Solution Powered by Xray
Multi-platform auto-proxy client, supporting Sing-box, X-ray, TUIC, Hysteria, Reality, Trojan, SSH etc. It’s an open-source, secure and ad-free.
Add a description, image, and links to the antichains topic page so that developers can more easily learn about it.
To associate your repository with the antichains topic, visit your repo's landing page and select "manage topics."