D4v2 est un outil d'analyse et de résolution de problèmes d'optimisation combinatoire, particulièrement adapté à la génération de partitions de graphes et à l'analyse de formules booléennes. Il offre une grande flexibilité grâce à sa capacité à gérer différents types de heuristiques et de méthodes de résolution.