satellite-branch
| Crates.io | satellite-branch |
| lib.rs | satellite-branch |
| version | 0.1.0 |
| created_at | 2026-01-18 03:26:48.089834+00 |
| updated_at | 2026-01-18 03:26:48.089834+00 |
| description | Git-style branch model for Satellite |
| homepage | |
| repository | https://github.com/rand0mdevel0per/satellite |
| max_upload_size | |
| id | 2051708 |
| size | 23,821 |
rand0mdevel0per (rand0mdevel0per)
documentation
README
satellite-branch
Git-style branch model for parallel constraint solving.
Features
- Constraint branching - Fork solver state on constraint splits
- Reference counting - Automatic branch cleanup
- Failure propagation - Child failure propagates to parent
- Lock-free status tracking via skiplist
Concepts
Unlike traditional CDCL decision trees, Satellite uses semantic constraint branches:
Parent Branch (refcount=3)
├─ Child A: constraint variant 1
├─ Child B: constraint variant 2
└─ Child C: constraint variant 3
License
MIT