mop-facades 0.0.10

mod min_soft_cstrs_results;

pub use self::min_soft_cstrs_results::MinSoftCstrsResults;