Module solve 

conjure_oxide solve sub-command

Structs

Args

Enums

NumberOfSolutions

Functions

init_context 🔒

Returns a new Context and Solver for solving.

init_solver 🔒

instantiate_model 🔒

parse 🔒

parse_number_of_solutions 🔒

parse_with_conjure 🔒

rewrite 🔒

run_solve_command

run_solver 🔒