Uses DAFFODIL (Datalog Analysis Framework for Dotnet IL).
Checkout Presto in some directory, say, <WORK_DIR> Add the following to ~/.bashrc: export PATH=<WORK_DIR>/Presto/Scripts:$PATH export PRESTO_HOME=<WORK_DIR>/Presto
Download the dynamic tool Torch to some directory, say, <TORCH_DIR> Add the following to ~/.bashrc: export TORCH_HOME=<TORCH_DIR>