probfd::cartesian_abstractions::FlawGenerator Class Reference

#include "probfd/cartesian_abstractions/flaw_generator.h"

Inheritance diagram for probfd::cartesian_abstractions::FlawGenerator:

Description

Find flaws in the abstraction.