8 lines
166 B
JSON
Executable File
8 lines
166 B
JSON
Executable File
{
|
|
"formula_file": "/rundir/test.cnf",
|
|
"worker_node_ips": ["leader", "worker"],
|
|
"timeout_seconds": "1000",
|
|
"formula_language": "",
|
|
"solver_argument_list": [""]
|
|
}
|