Homec4science

rAKA/test/test_solver
bugfixes/detect_mixed_d…