Closed LenaSaid closed 1 year ago
Replaced the BestFS (HEURISTIC) search option with RPFS (RANDOMHEURISTIC) for reachability queries on untimed, non-game nets.
Also updated the example nets to use RPFS search option.
Replaced the BestFS (HEURISTIC) search option with RPFS (RANDOMHEURISTIC) for reachability queries on untimed, non-game nets.
Also updated the example nets to use RPFS search option.