Galois
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Getting Started

Please go to https://github.com/IntelligentSoftwareSystems/Galois for detailed instructions.