CPSolver (Fixpoint v0.10.2)

Solver API.

Summary

Functions

child_spec(init_arg)

Returns a specification to start this module under a supervisor.

See Supervisor.

complete?(solver)

dispose(solver)

elapsed_time(solver)

get_state(solver)

handle_event(event, state)

objective_value(solver)

set_complete(solver)

solutions(solver)

solve(model, opts \\ [])

@spec solve(CPSolver.Model.t(), Keyword.t()) ::
  {:ok, map()} | {:error, reason :: any(), info :: any()}

solve_async(model, opts \\ [])

@spec solve_async(CPSolver.Model.t(), Keyword.t()) :: {:ok, map()}

solve_sync(model, opts \\ [])

This function is deprecated. Use solve/2 instead.
@spec solve_sync(CPSolver.Model.t(), Keyword.t()) ::
  {:ok, map()} | {:error, reason :: any(), info :: any()}

statistics(solver)

status(solver)

stop_spaces(solver)