Flag indicating whether the concrete solver requires monotonic density.
Developer documentation: this item describes internal implementation details.