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.
CU_323 solver: theoretically complete.
CU_323 solver: progress
Beginnings of CU_323 solver.
One more bugfix
Change OperatingSystemInterface
Up code version to 77
Stop crashing when something goes wrong with solvers
up code version to 76
up code version to 75.
TODO icon
About Dialog
Solver strings
minor
Also available in: Atom