Viewing all changes in revision 261.
- Committer: Nikolaj Jensen Ulrik
- Date: 2021-04-07 07:12:54 UTC
- Revision ID: nikolaj@njulrik.dk-20210407071254-115rfbw082xkgp75
Properly default to heuristic search in LTL engine
- files modified:
- src/LTL/LTLMain.cpp
expand all
collapse all
added
removed
