Le mardi, 31 mars 2015 à 14:43, Dario Teixeira a écrit : > And if so, any suggestions on getting around them?
Maybe use the solver farm ? http://cudf-solvers.irill.org/index.html Best, Daniel _______________________________________________ opam-devel mailing list [email protected] http://lists.ocaml.org/listinfo/opam-devel
