d420d41148
Otherwise we might start to change packages unexpectedly when not upgrading. This also fixes some other things the solver might've decided to do. Add also few test cases to detect bad behaviour.
20 lines
161 B
Text
20 lines
161 B
Text
C:Q1eVpkasfqZAukAXFYbgwt4xffZWU=
|
|
P:a
|
|
V:3
|
|
S:1
|
|
I:1
|
|
D:b
|
|
|
|
C:Q1hdUpqRv5mYgJEqW52UmVsv23ysE=
|
|
P:b
|
|
V:3
|
|
S:1
|
|
I:1
|
|
|
|
C:Q1eVpkasfqZAukAXFYbg324xAt4WU=
|
|
P:c
|
|
V:3
|
|
S:1
|
|
I:1
|
|
D:a>=3
|
|
|