3 Commits (580f0006d6506008b8d0b55b1bae326b994a43b5)

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