Invariant Synthesis#120

maditaP wants to merge 11 commits into

moves-rwth:mainmoves-rwth/caesar:mainfrom

maditaP:rebased/invariant-synthesismaditaP/caesar:rebased/invariant-synthesisCopy head branch name to clipboard