3 Commits (c8838f198eb91dab72b06c9386a7ff3387a1cef6)

Author	SHA1	Message	Date
Jordi Boggiano	fde6a87f64	Sort problem rules (#12111)	2024-09-17 14:13:58 +02:00
Jordi Boggiano	ec90c17e3b	Fix conflict order to be more accurate	2020-01-30 15:55:37 +01:00
Jordi Boggiano	3fc7e10c5c	Improve error reporting of solver issues, refs #7779 ... Fixes #8525 Fixes #6513	2020-01-30 14:43:54 +01:00