Module solve 

conjure_oxide solve sub-command

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 🔒