CPSolver.Distributed (Fixpoint v0.8.37)
Summary
Functions
Link to this function
call(node, solver, mod, function, args)
Link to this function
choose_worker_node(nodes \\ worker_nodes())
Link to this function