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