Fixpoint
v0.10.2
Pages
Modules
Search documentation of Fixpoint
Settings
CPSolver.Distributed
(Fixpoint v0.10.2)
Summary
Functions
call(node, solver, mod, function, args)
choose_worker_node(nodes \\ worker_nodes())
worker_nodes(node_list \\ [Node.self() | Node.list()])
Functions
call(node, solver, mod, function, args)
choose_worker_node(nodes \\ worker_nodes())
worker_nodes(node_list \\ [Node.self() | Node.list()])