CPSolver.Examples.Utils (Fixpoint v0.8.37)
Summary
Functions
Link to this function
flush_solutions()
Link to this function
notify_client_handler()
Link to this function
wait_for_solution(timeout, solution_checker_fun)
Link to this function
wait_for_solutions(expected, timeout, solution_checker_fun)
Link to this function