Viewing all changes in revision 270.
- Committer: Nikolaj Jensen Ulrik
- Date: 2021-03-24 07:31:53 UTC
- Revision ID: nikolaj@njulrik.dk-20210324073153-5b3dr8bey6ik9psb
WIP Büchi guided search
- files added:
- include/LTL/SuccessorGeneration/AutomatonHeuristic.h
- files modified:
- include/LTL/Algorithm/ModelChecker.h
expand all
collapse all
added
removed
