satellite-branch 0.1.0

Git-style branch model for Satellite
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

//! # satellite-branch
//!
//! Git-style constraint branching model.
//!
//! Branches represent semantic constraint splits (e.g., XOR expansions, conditionals)
//! rather than traditional CDCL decision tree branching.

pub mod branch;
pub mod lifecycle;
pub mod refcount;

pub use branch::{Branch, BranchId, BranchStatus};
pub use lifecycle::BranchManager;