Fixpoint
v0.2.2

CPSolver (Fixpoint v0.2.2)

Solver API.

Summary

Functions

child_spec(init_arg)

Returns a specification to start this module under a supervisor.

solutions(solver)
solve(model, opts \\ [])
statistics(solver)

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

solutions(solver)

Link to this function

solve(model, opts \\ [])

@spec solve(Model.t(), Keyword.t()) :: any()
Link to this function

statistics(solver)