minor
CU_323 solver: translations.
CU_323 solver: progress and slight speedup for the 'old' solver.
CU_323 solver: new schema.
CU_323 solver: corrections.
CU_323 solver: minor.
CU_323 solver: remove mUpper.
CU_323 solver: bugfixes.
View revisions
Also available in: Atom