CPSolver (Fixpoint v0.5.7)
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
get_state(solver)
Link to this function
handle_event(event, state)
Link to this function
set_complete(solver)
Link to this function
solutions(solver)
Link to this function
solve(model, opts \\ [])
Link to this function
solve_sync(model, opts \\ [])
Link to this function
statistics(solver)
Link to this function