4 Jan
2022
4 Jan
'22
10:15
Investigating the original .dg files showed that the format was extended so that my (not too clever) postprocessor missed some pieces of information. For example, some dependency arcs are now annotated with "[style = dotted]".
After fixing this in my postprocessor, the reachability analyses are identical when using Gambit 4.9.3 and 4.9.4.
Ciao Sven