ltl2ba

1.3

Translate LTL formulae to Buchi automata

Install

brew install ltl2ba

Architecture	Platforms	Version	Download
Apple Silicon	Golden Gate	1.3	File SHA-256 `44a57dc7940bcc24d5f51bb8124fa42df617bc5889c231f1d68b3d084784e766`
Apple Silicon	Tahoe	1.3	File SHA-256 `44343a3a706997bce508f8376785fa1f113926565bc18a57b0409545e1dff44d`
Apple Silicon	Sequoia	1.3	File SHA-256 `18b178bd47a42ca3c5ab755e80cb5ec5a087807c1bef4fc064aa97a3ff18d76a`
Apple Silicon	Sonoma	1.3	File SHA-256 `5527191de9afab610f9d220b2c62ceed062df2e5e2c99b1743381c57067b9535`
Apple Silicon	Ventura	1.3	File SHA-256 `89c79976b12030dc618c9466ad4f1f9f14fe9dff815850ac6ecc38ab10f63981`
Apple Silicon	Monterey	1.3	File SHA-256 `1e35ea05ee9b358df863d969c190abea48b61ec737c7aaa5fb01f9f7de455330`
Apple Silicon	Big Sur	1.3	File SHA-256 `577639caaf79515113fee790d593bc735b9f54bbb2bf93ae2788655a455aecaa`
Intel	Sonoma	1.3	File SHA-256 `075820e7ecfee9fb538889ee1f2a32e0f3e4b0aa8ba8194c22418eb7d856abe3`
Intel	Ventura	1.3	File SHA-256 `18f8eb78ca95bd4217b9ca697e608c62cc0f0fb8a632585f3ce57f75e82b2b66`
Intel	Monterey	1.3	File SHA-256 `287ea81802bff62078478fccce3b85695feb945996f59bbf17d3e28712bb51ac`
Intel	Big Sur	1.3	File SHA-256 `c85c152985dcdd33f028941a0b2e62d20d5f247142111b9fb30c11ea9dd424b7`
ARM64	Linux	1.3	File SHA-256 `7dcc015888d23a53ef7cb653015c0a93abad381753c277e6f76f535a13351e82`
x86_64	Linux	1.3	File SHA-256 `948ef5632a4054316599f6361411d994459971c64749fe99609f13c3c51b9fe7`