The source code of SOCRATES can be downloaded at our GitHub page.
Instructions:
For most of engines, please follow the installation in the README, then you can run the scripts in the scripts/ folder to try the engines.
For CARE:
experiments: run_causality.sh