satellite_branch/
lib.rs

1//! # satellite-branch
2//!
3//! Git-style constraint branching model.
4//!
5//! Branches represent semantic constraint splits (e.g., XOR expansions, conditionals)
6//! rather than traditional CDCL decision tree branching.
7
8pub mod branch;
9pub mod lifecycle;
10pub mod refcount;
11
12pub use branch::{Branch, BranchId, BranchStatus};
13pub use lifecycle::BranchManager;