Package Details: uppaal-beta 5.1.0_beta5-2

Git Clone URL: https://aur.archlinux.org/uppaal-beta.git (read-only, click to copy)
Package Base: uppaal-beta
Description: Verify timed automata models and learn strategies. Beta release channel.
Upstream URL: https://uppaal.org/
Licenses: custom
Provides: uppaal-beta-
Submitter: falkecarlsen
Maintainer: falkecarlsen
Last Packager: falkecarlsen
Votes: 0
Popularity: 0.000000
First Submitted: 2024-03-05 15:31 (UTC)
Last Updated: 2024-03-07 09:20 (UTC)