HerbConstraintTranslator.jl For an example of how to use HerbConstraintTranslator please have a look at src/example.jl To run our experiments setup, call HerbConstraintTranslator.run_experiments()