satellite-worker
| Crates.io | satellite-worker |
| lib.rs | satellite-worker |
| version | 0.1.0 |
| created_at | 2026-01-18 05:15:59.196635+00 |
| updated_at | 2026-01-18 05:15:59.196635+00 |
| description | CPU worker pool and GPU bridge for Satellite |
| homepage | |
| repository | https://github.com/rand0mdevel0per/satellite |
| max_upload_size | |
| id | 2051812 |
| size | 35,203 |
rand0mdevel0per (rand0mdevel0per)
documentation
README
satellite-worker
Worker pool implementation for parallel SAT solving.
Features
- CPU worker pool - Thread pool with NUMA awareness
- Job scheduling - Priority-based job execution
- Work stealing - Steal work from idle threads
Usage
use satellite_worker::{WorkerPool, Job};
let pool = WorkerPool::new(num_cpus::get());
pool.submit(Job::Bcp { clause_range: 0..32 });
License
MIT