2 Commits (1d92adacf4a5eb8f95279221e5ba846e0c5141e0)

Author	SHA1	Message	Date
Sébastien Villemot	1d92adacf4	Block decomposition: fix bug with mfs > 0 introduced in 5431451db3	2020-04-17 18:19:07 +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