bugfix issue #80
add test to reproduce bug #80
add SolutionPrinter to core
misc