id summary reporter owner description type status priority milestone component version resolution keywords cc 2975 Update Sim# to 3.1.1 abeham abeham A new Sim# release was recently made with many improvements. Our ExtLibs should be updated accordingly. enhancement closed medium HeuristicLab 3.3.16 ExtLibs trunk done