Re-exports§
use crate::exit;🔒use std::path::PathBuf;🔒use std::sync::Arc;🔒use crate::cli::GlobalArgs;🔒use crate::solve;🔒use crate::solve::init_solver;🔒use clap::ValueHint;🔒use conjure_cp::instantiate::instantiate_model;🔒use conjure_cp::instantiate::validate_instantiation_conditions;🔒use conjure_cp_cli::utils::conjure::get_solutions;🔒use conjure_cp_cli::utils::conjure::get_solutions_from_conjure;🔒use conjure_cp_cli::utils::conjure::solutions_to_json;🔒