Module
VersionProblem
In:
lib/dep_selector_to_gecode.rb
[Validate]