added ubuntu install script and updated readme to reflect this

utwente-fmt / ltsmin

The LTSmin model checking toolset

http://ltsmin.utwente.nl

BSD 3-Clause "New" or "Revised" License

51 stars 30 forks source link

Closed Codermann63 closed 7 months ago

jacopol commented 7 months ago

The script still refers to Codermann63 for Sylvan. Can this be replaced by a link into the official sylvan repository?