3 Commits (2a7c71266b2545a3bed9f4860734081963f6e688)

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