3 Commits (8b6e42559de6aa560ce424684b1f987fb25f0f92)

Author	SHA1	Message	Date
Sébastien Villemot	8eafd9ab4f	Block decomposition: various refactorings	2020-04-17 19:23:52 +02:00
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