GitHub repository: laurentbartholdi/Buchi.jl
Primary language: Julia
Created: 2024-12-25T23:45:38Z
Description: A Julia library for omega-automata