duplicate propositions in state after optimize

jrclogic / SMCDEL

A symbolic model checker for Dynamic Epistemic Logic.

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

GNU General Public License v2.0

39 stars 9 forks source link

Open m4lvin opened 2 months ago

m4lvin commented 2 months ago

λ> disp $ (optimize (vocabOf (gossipInit 3)) $ gossipInit 3 `update` call 3 (0,1))