Rez-Mež est un outil dédié à l'analyse de la résistance des contre-modèles en logique propositionnelle. Il permet d'évaluer comment des familles d'opérateurs extensifs affectent la robustesse des interprétations initiales d'une formule. Le projet propose également des fonctionnalités pour convertir des formules en forme normale disjonctive (DNF) et pour mesurer des métriques spécifiques comme le delta H ou le nu O. Développé dans le cadre du projet BLaSST, il s'inscrit dans un contexte de recherche académique et industrielle en logique et vérification formelle.