room for optimization?

[zoechi]

This seems to use brute-force to check all versions against a constraint. If a version doesn't match the lower bound all smaller versions could be skipped at once, and if it's only to make the log output more readable.

 select polymer_expressions 0.13.1 from hosted
 version 0.9.1 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.9.0 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.8.8 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.8.7 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.7.5 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.7.4 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.7.3 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.7.2 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.7.1 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.7.0 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.6.10 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.6.9+2 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.6.9 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.6.8 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.6.6 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.6.5 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.6.3+1 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.6.2 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.6.1 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.5.20 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.5.17 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.5.16 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.5.15 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.5.14+3 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.5.14+1 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.5.13 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.5.12 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.5.11+1 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.5.9 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.5.7 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.5.6 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.5.5 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.5.4 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.5.1 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.5.0+1 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.4.7+1 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.4.5+1 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.4.4+4 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.4.3+1 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.4.2 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.4.1 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.4.0 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.3.7+6 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.3.5+1 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.3.4 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.3.2 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.3.1+1 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.2.9+7 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.2.8+2 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
   bwu_utils_dev 0.1.0-dev.2 from hosted -> webdriver >=0.10.0-pre.8 <0.11.0 from hosted (webdriver)
 version 0.2.7 of webdriver doesn't match >=0.10.0-pre.8 <0.11.0:
ddddd

[nex3]

This could be done, and I'll probably do it in the next wave of solver improvements, but I doubt it'll make much of a difference in terms of solver speed. The real drain comes from the amount of backtracking that's done rather than the individual version selection.