search

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

Add examples to assets #204

Open jacopol opened 1 year ago

jacopol commented 1 year ago

Assets, like ltsmin-v3.0.2-linux.tgz should contain the examples directory.