Commit Graph

1 Commits (a741799f906953913706aebcce057cddeb75eaec)

Author SHA1 Message Date
Sébastien Villemot 5431451db3
Block decomposition: refactor algorithms on the variable dependency graph
In particular, move them into a separate class rather than a namespace.
2020-04-10 12:55:07 +02:00