0.5.0 Tarjan
WARNING: This is a modified version just for benchmarking, not a full binary. It uses explicit parameter scan instead of the coloured heuristics, and therefore can be really slow.
Usage: One command line argument - path to model file.
WARNING: This is a modified version just for benchmarking, not a full binary. It uses explicit parameter scan instead of the coloured heuristics, and therefore can be really slow.
Usage: One command line argument - path to model file.