Homec4science

rAKA/src/solver
bugfixes/detect_mixed_d…0183db140277c93f42ff8a8…