search

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

Move PBES tool detection, reenabling symbolic parity game generation. #164

Closed gijskant closed 4 years ago

gijskant commented 5 years ago

Fixes #165.