1mod explanation; 2mod manager; 3 4pub use explanation::{ConstraintMatch, Indictment, ScoreExplanation}; 5pub use manager::SolutionManager;