Reactive Synthesis Swen Jacobs, Martin Zimmermann


Project - Phase 2

Written: 11.01.2018 09:34 Written By: Mouhammad Sakr

Few remarks/reminders for the Project's submission:

  • Provide a clear command to run your tool
  • If possible, external libraries should be included in compiled form
  • Do not forget to submit your engineering notebook
  • Two projects with identical code will not pass

Good luck!

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators