GitHub repository: nnthuan/alloyintokodkod
Primary language: JavaScript
Created: 2017-05-27T22:33:37Z
Description: Translate code alloy into code kodkod