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