Added support for <requires os> and <requires use> in solver