GitHub repository: rajarshi008/Scarlet
Primary language: Python
Description: Tool for learning linear temporal logic formulas using combinatorial approach