pub fn pathwidth_ty() -> Expr
Pathwidth : ∀ {V} [Fintype V], SimpleGraph V → Nat pw(G) = min over path decompositions of (max bag size - 1).