Homec4science

rAKA/src/solver
bugfixes/detect_mixed_d…9da4260fdfc321342a7a2f0…