Fixes an issue where --requires didnt work for adding nim constraints (include Nim in SAT resolution)

Fixes an issue where --requires didnt work for adding nim constraints (include Nim in SAT resolution) #298