CPSolver (Fixpoint v0.8.30)
Solver API.
Summary
Functions
Returns a specification to start this module under a supervisor.
Functions
Link to this function
child_spec(init_arg)
Returns a specification to start this module under a supervisor.
See Supervisor.
Link to this function
complete?(solver)
Link to this function
dispose(solver)
Link to this function
elapsed_time(solver)
Link to this function
get_state(solver)
Link to this function
handle_event(event, state)
Link to this function
objective_value(solver)
Link to this function
set_complete(solver)
Link to this function
solutions(solver)
Link to this function
solve(model, opts \\ [])
@spec solve(CPSolver.Model.t(), Keyword.t()) :: {:ok, map()}
Link to this function
solve_sync(model, opts \\ [])
@spec solve_sync(CPSolver.Model.t(), Keyword.t()) :: {:ok, map()} | {:error, reason :: any(), info :: any()}
Link to this function
statistics(solver)
Link to this function
status(solver)
Link to this function