Hi, > Maybe use the solver farm ? > > http://cudf-solvers.irill.org/index.html
That's pretty cool! In the end I solved the problem simply by upgrading from Wheezy to Jessie, but this solver farm may indeed come in handy sometime... Best regards, Dario Teixeira _______________________________________________ opam-devel mailing list [email protected] http://lists.ocaml.org/listinfo/opam-devel
