Master - Githubissues

utwente-fmt / ltsmin

The LTSmin model checking toolset

http://ltsmin.utwente.nl

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

52 stars 30 forks source link

Closed alaarman closed 6 years ago

alaarman commented 6 years ago

Refactored symbolic tool (includes @trolando's next branch)

Meijuh commented 6 years ago

Merged manually.