GitHub repository: ninjakon/rulegenerator
Primary language: Python
Created: 2025-04-17T13:24:34Z
Description: Generate rules for the modelchecker using LLMs