CPSolver (Fixpoint v0.8.5)

Solver API.

Summary

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

stop_spaces(solver)