Viewing all changes in revision 247.
- Committer: Nikolaj Jensen Ulrik
- Date: 2020-10-15 07:03:16 UTC
- mfrom: (243.1.3 tarjan-algo)
- Revision ID: nikolaj@njulrik.dk-20201015070316-ynt66zahk6opqsxz
Merge Tarjan's algorithm into spot-integration
- files added:
- include/LTL/LTL_algorithm/TarjanModelChecker.h
- files removed:
- src/LTL/LTL_algorithm/ProductSuccessorGenerator.cpp
- files modified:
- CMakeLists.txt
expand all
collapse all
added
removed
