goatd 0.1.1

Greatest Of All Tree Decompositions: tree decompositions of graphs — elimination orders, FlowCutter, multilevel bisection — with PACE .gr/.td I/O and a command-line solver.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

//! Tree-decomposition data, validation, projection, and refinement.
//!
//! Partition refinement changes a temporary two-way partition. This module
//! instead operates on complete tree decompositions: [`refine_with_flowcutter`]
//! finds separators and rewrites bags, while [`TreeDecomposition::project`]
//! restricts a decomposition to a vertex subset.

mod model;
mod ops;
mod refine;

pub use model::{TdBag, TreeDecomposition};
pub use ops::{Projection, RootedForest};
pub use refine::refine_with_flowcutter;