Enforce solver capabilities.