This crate contains the core components of the sat-rs framework. You can find more information on homepage.
