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

Master #200

Closed alaarman closed 2 years ago

alaarman commented 2 years ago

Added SDD support