Module cli 

Re-exports

use std::path::PathBuf; 🔒

use clap::ArgAction; 🔒

use clap::Args; 🔒

use clap::Parser; 🔒

use clap::Subcommand; 🔒

use clap::ValueEnum; 🔒

use clap_complete::Shell; 🔒

use conjure_cp::settings::Channelling; 🔒

use conjure_cp::settings::DEFAULT_HEURISTIC_SEED; 🔒

use conjure_cp::settings::Heuristic; 🔒

use conjure_cp::settings::Parser as InputParser; 🔒

use conjure_cp::settings::QuantifiedExpander; 🔒

use conjure_cp::settings::Rewriter; 🔒

use conjure_cp::settings::SolverFamily; 🔒

use conjure_cp::solver::adaptors::MinionValueOrder; 🔒

use conjure_cp::solver::adaptors::MinionVariableOrder; 🔒

use conjure_cp::solver::adaptors::SatBackend; 🔒

use git_version::git_version; 🔒

use crate::pretty; 🔒

use crate::solve; 🔒

use crate::test_solve; 🔒

Structs

Cli

Global command line arguments.

CompletionArgs

GlobalArgs

Enums

Command

All subcommands of conjure-oxide

LogDetail

LogFormat

ShellTypes

Constants

CONFIGURATION_HELP_HEADING 🔒

LOGGING_HELP_HEADING 🔒

MODELLING_HELP_HEADING 🔒

Functions

parse_cli_channelling 🔒

parse_cli_heuristic 🔒

parse_comprehension_expander 🔒

parse_minion_value_order 🔒

parse_minion_variable_order 🔒

parse_parser 🔒

parse_rewriter 🔒

parse_solver_family 🔒