This program can be used to reduce an Ada code base to a smaller code base while maintaining a base property. It is typically used for minimising a bug reproducer.
Adareducer is included in the GNAT Studio package. To access it in command line mode, you can do:
gnatstudio_cli adareducer <parameters>
Get a Python 3.7+ interpreter, install Libadalang's Python bindings and then run:
pip install /path/to/your/adareducer/clone
Refer to the corresponding section in the GNAT Studio documentation