Passage à Scala 2.10.3
ctr(V) est maintenant un Set au lieu de Seq
Gestion des constantes booléennes pour l'intersection
Ajout d'une méthode pour l'inversion des booléens
Modification de l'API "Delta" pour les ConstraintCompilers
Généralisation : une table est une Seq[Array[Int]] au lieu de List[Array[Int]].