Run the run.sh script in the bin subdirectory
features_distribution/bin/run.sh [options] file1.aig ....
Try the --help flag to see the available options.
The archive contains a script to convert SMV benchmarks to AIGER files that can be run by our tool:
features_distribution/bin/convert.sh file.smv file.aig
This script uses NuSMV 2.5.0, as our tools use the AIGER format natively.