GitHub repository: rindPHI/isla
Primary language: Python
Created: 2021-11-16T11:22:35Z
Description: The ISLa (Input Specification Language) language & solver.