Viewing all changes in revision 261.
- Committer: Simon Virenfeldt
- Date: 2021-03-02 08:29:18 UTC
- Revision ID: simwir1@gmail.com-20210302082918-23apb8s0k0i3y9r0
Remove complete preference from the buchi generation
- files modified:
- src/LTL/Algorithm/LTLToBuchi.cpp
expand all
collapse all
added
removed
