Source code

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: