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