ocaml/opam — pull request #1186 by rdicosmo (2014-02-19 19:45:16+00:00)
Title: Changed default user preferences for the external solver to avoid downgrades

Added -count(down) to user preferences, in order to aske the external solver to avoid unwanted downgrades.
This is making use of the MISC2012 competition preference syntax, currently supported by aspcud.