3 Commits (8e03f17350c1ee7f29afb15f934077c26ac182f6)

Author	SHA1	Message	Date
Sébastien Villemot	24db5e6033	Minor simplifications in graph algorithms	2020-04-29 18:12:22 +02:00
Sébastien Villemot	8eafd9ab4f	Block decomposition: various refactorings	2020-04-17 19:23:52 +02:00
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