Compilation of a CNF merging instance into CNF formula

bm2cnf est un compilateur permettant de transformer une instance de fusion CNF donnée en une formule CNF équivalente. Plusieurs opérateurs de fusion basés sur la distance ont été implémentés, notamment ceux basés sur la distance drastique (éventuellement pondérée) ou la distance de Hamming entre les interprétations, et utilisant la somme, leximin ou leximax comme fonction d’agrégation.