-
Alexandre Duret-Lutz authored
in comment. Skip false transitions, and do not compute sub-formulae reachable only via false transitions.
af27439d
To find the state of this project's repository at the time of any of these versions, check out the tags.