non-terminating / timing out examples

m4lvin / modal-tableau-interpolation

Modal Tableau with Interpolation in Haskell

https://w4eg.de/malvin/illc/tapdleau

GNU General Public License v3.0

2 stars 0 forks source link

Open m4lvin opened 9 months ago

m4lvin commented 9 months ago

Fix these:

m4lvin commented 9 months ago

(It works in the -beta version with unravel.)

m4lvin commented 7 months ago

[((b;?[a;b]p) u c)*]q also times out in -beta version

m4lvin commented 7 months ago

another one: ([(a ; ?(¬[a*]p))*][a][?(¬[a*]p)]p) -> p