Open UnixJunkie opened 2 weeks ago
workaround: just for parallel processing (local, not distributed), install the ocaml package pardi
opam install pardi pardi -s -p -i for_par.sh
workaround: just for parallel processing (local, not distributed), install the ocaml package pardi