CPSolver.Shared (Fixpoint v0.6.3)
Summary
Functions
Link to this function
active_nodes(solver)
Link to this function
add_active_spaces(solver, spaces)
Link to this function
add_failure(solver)
Link to this function
add_solution(solution, solver)
Link to this function
cleanup(solver)
Link to this function
complete?(solver)
Link to this function
objective_value(solver)
Link to this function
remove_space(solver, space, reason)
Link to this function
set_complete(solver)
Link to this function
solutions(solver)
Link to this function
statistics(solver)
Link to this function