Closed LenaSaid closed 2 years ago
Solves not being able to open the net (found in https://bugs.launchpad.net/tapaal/+bug/1983368) with its queries
Solves not being able to open the net (found in https://bugs.launchpad.net/tapaal/+bug/1983368) with its queries