Latest code and tests on solver scheduler, and some additional
design specification.