Viewing all changes in revision 274.
- Committer: Nikolaj Jensen Ulrik
- Date: 2021-03-25 10:36:36 UTC
- Revision ID: nikolaj@njulrik.dk-20210325103636-c0sdeju6pcxhg6lz
Add switch to disable Büchi compression, and disable the compression when printing the automaton
- files modified:
- include/LTL/Algorithm/ModelChecker.h
expand all
collapse all
added
removed
