GitHub repository: rindPHI/islearn
Primary language: Python
Created: 2022-03-16T15:54:05Z
Description: ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.