CPSolver.Examples.Utils (Fixpoint v0.11.2)

Summary

Functions

flush_solutions()

notify_client_handler()

wait_for_solution(timeout, solution_checker_fun)

wait_for_solutions(expected, timeout, solution_checker_fun)

wait_for_solutions(num, timeout, solution_checker_fun, successes)