GitHub repository: sisl/Spot.jl
Primary language: Julia
Created: 2018-10-31T05:39:02Z
Description: Julia wrapper for the Spot LTL and automata manipulation library