GitHub repository: keski/rsp-spin
Primary language: Java
Created: 2016-08-18T16:11:18Z
Description: SPIN extension to support RSP-QL