doca6aaabbe301f468778b410f…

Dec 20 2017

put solver cg and test in place, tests not yet ready
61245bc39a2c
·junge on Dec 20 2017, 19:00.
started solver cg
31be66493707
·junge on Dec 20 2017, 14:27.