Viewing all changes in revision 248.
- Committer: Nikolaj Jensen Ulrik
- Date: 2020-10-15 07:35:19 UTC
- Revision ID: nikolaj@njulrik.dk-20201015073519-ejatcin3jb7vuwqs
Add CLI switch for LTL algorithm
- files added:
- include/LTL/LTL.h
- files modified:
- include/PetriEngine/options.h
expand all
collapse all
added
removed
