Homec4science

rAKA/src/solver
bugfixes/detect_mixed_d…e13ac132d985973f8e43e4c…