def executable(self):
        return util.find_executable('smack.sh')
Returns a list of available spatial dataset engines
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/tools/smack.py/Tool.executable--crossover with--dataset/ETHPy150Open tethysplatform/tethys/tethys_services/utilities.py/list_spatial_dataset_engines