Viewing all changes in revision 273.
- Committer: Nikolaj Jensen Ulrik
- Date: 2021-03-25 10:13:06 UTC
- mfrom: (269.1.1 heuristic-automata)
- Revision ID: nikolaj@njulrik.dk-20210325101306-bl1kf11jk8b5ypgk
Merge heuristic-automata@270
- files added:
- include/LTL/SuccessorGeneration/AutomatonHeuristic.h
- files modified:
- include/LTL/Algorithm/ModelChecker.h
expand all
collapse all
added
removed
