GitHub repository: ClemsonRSRG/RESOLVEWebAPI
Primary language: Java
Created: 2015-04-03T17:22:13Z
Description: This is the back-end API that services request to compile, translate and verification using the RESOLVE compiler.