Save-Analysis has been removed from rust #10

Activity

1. bjorn3 commented on Jul 27, 2023

   

   bjorn3

   on Jul 27, 2023

   More actions

   cc #9
2. Dr-Emann commented on Jul 27, 2023

   

   Dr-Emann

   on Jul 27, 2023

   Author

   More actions

   Ah, the title of the issue didn't seem to be relevant (not knowing what SCIP is), so I didn't see an issue for this.
3. est31 commented on Jul 27, 2023

   

   est31

   on Jul 27, 2023

   Owner

   More actions

   I've edited the title of #9 to mention save analysis. I wanted to work on this but my new job is a bit demanding so I am not sure i can dedicate time to this right now!
4. est31

   closed this as completedon Jul 27, 2023
5. Dr-Emann commented on Jul 27, 2023

   

   Dr-Emann

   on Jul 27, 2023

   Author

   More actions

   Perfect, thanks!