OrderSpark

Crack open a poset like a puzzle box. Pick a preset or build your own from scratch — subset lattices, divisor chains, lex tuples, whatever your problem set throws at you. OrderSpark draws the Hasse diagram, marks every cover edge, and hands you the numbers that actually matter: height, width, longest chains, fat antichains. Tap two elements in Relation Lab and watch down-sets and up-sets light up on the diagram. Dump the full order matrix to your clipboard. Run Dilworth's theorem through the app and see minimum chain covers line up with maximum antichains.