Solver configuration uses simple simplifications and Luby restarts.
1 file changed
tree: 2edd266adabe11f84ec74e9ea238e12efee1f942
  1. org.eclipse.equinox.p2.cudf/