Module solve 

conjure_oxide solve sub-command

Re-exports

use std::time::Duration; 🔒

use std::fs::File; 🔒

use std::path::Path; 🔒

use std::path::PathBuf; 🔒

use std::sync::Arc; 🔒

use std::sync::RwLock; 🔒

use crate::exit; 🔒

use anyhow::anyhow; 🔒

use clap::ValueHint; 🔒

use conjure_cp::instantiate::instantiate_model; 🔒

use conjure_cp::instantiate::validate_instantiation_conditions; 🔒

use conjure_cp::context::Context; 🔒

use conjure_cp::defaults::DEFAULT_RULE_SETS; 🔒

use conjure_cp::rule_engine::resolve_rule_sets; 🔒

use conjure_cp::rule_engine::rewrite_model; 🔒

use conjure_cp::settings::Rewriter; 🔒

use conjure_cp::settings::set_channelling; 🔒

use conjure_cp::settings::set_comprehension_expander; 🔒

use conjure_cp::settings::set_current_parser; 🔒

use conjure_cp::settings::set_current_rewriter; 🔒

use conjure_cp::settings::set_current_solver_family; 🔒

use conjure_cp::settings::set_default_rule_trace_enabled; 🔒

use conjure_cp::settings::set_heuristic; 🔒

use conjure_cp::settings::set_heuristic_responses; 🔒

use conjure_cp::settings::set_heuristic_seed; 🔒

use conjure_cp::settings::set_minion_discrete_threshold; 🔒

use conjure_cp::settings::set_rule_attempt_trace_enabled; 🔒

use conjure_cp::settings::set_rule_trace_aggregates_enabled; 🔒

use conjure_cp::settings::set_rule_trace_enabled; 🔒

use conjure_cp::solver::Solver; 🔒

use conjure_cp::parse::conjure_json::model_from_json; 🔒

use conjure_cp::rule_engine::get_rules; 🔒

use conjure_cp::settings::SolverFamily; 🔒

use conjure_cp::parse::tree_sitter::parse_essence_file_native; 🔒

use conjure_cp_cli::find_conjure::conjure_executable; 🔒

use conjure_cp_cli::utils::conjure::get_solutions; 🔒

use conjure_cp_cli::utils::conjure::solutions_to_essence; 🔒

use conjure_cp_cli::utils::conjure::solutions_to_json; 🔒

use conjure_cp_cli::utils::simplified_json::domains_from_model; 🔒

use conjure_cp_cli::utils::simplified_json::param_model_from_assignments; 🔒

use conjure_cp_cli::utils::simplified_json::params_from_simplified_json_str; 🔒

use conjure_cp_cli::utils::simplified_json::solution_to_simplified_json; 🔒

use conjure_cp_cli::utils::simplified_json::solutions_to_simplified_json_string; 🔒

use crate::cli::GlobalArgs; 🔒

use crate::cli::LOGGING_HELP_HEADING; 🔒

use conjure_cp::solver::adaptors::*; 🔒

Structs

Args

Enums

NumberOfSolutions

OutputFormat

Functions

coerce_bools_in_solutions 🔒

Turn solver 0/1 assignments back into booleans when the find domain is bool, so JSON/Essence output matches Conjure’s simplified JSON (true/false).

init_context 🔒

Returns a new Context and Solver for solving.

init_solver 🔒

parse 🔒

parse_number_of_solutions 🔒

parse_param 🔒

Parse an Essence or simplified-JSON parameter file.

parse_with_conjure 🔒

per_solution_output_path 🔒

rewrite 🔒

run_solve_command

run_solver 🔒

write_solutions 🔒