Maximum bounds only help you if cool-framework developer knew about the incompatibility with boring-library when version 1.5.0 of cool-framework was released. If boring-library 1.5.0 was released after cool-framework 1.5.0 or the author of cool-framework didn't know you have a version of cool-framework that falsely claims to be compatible with boring-library 1.5.0 and whatever solver you use will be ok with that.