Homec4science

rAKA/bugfixes%2F27-bug-in-the-python-interface
9a7c04e6e28cfeatures/solver-rewrite