Code for generating MaxSAT instances for checking depth-robustness Getting started - pip install -r requirements.txt python3 run.py