[gambit-list] Dependeny graphs for reachable bindings: Gambit 4.9.3 vs 4.9.4
Sven Hartrumpf
hartrumpf at gmx.net
Tue Jan 4 10:15:06 EST 2022
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
More information about the Gambit-list
mailing list