Search Criteria
Package Details: uppaal 5.0.0-3
Package Actions
| Git Clone URL: | https://aur.archlinux.org/uppaal.git (read-only, click to copy) |
|---|---|
| Package Base: | uppaal |
| Description: | Verify timed automata models and learn strategies. |
| Upstream URL: | https://uppaal.org/ |
| Keywords: | automata checker cyperphysical model smt strategy symbolic timed verification |
| Licenses: | custom |
| Provides: | uppaal-5.0.0 |
| Submitter: | falkecarlsen |
| Maintainer: | falkecarlsen |
| Last Packager: | falkecarlsen |
| Votes: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2024-02-20 15:51 (UTC) |
| Last Updated: | 2024-03-07 09:19 (UTC) |
Dependencies (3)
- jre17-openjdk (openjdk-zulu17-ca-fx-binAUR, jre17-zulu-binAUR, zing-17-binAUR, openjdk-liberica17-full-binAUR, jdk17-openjdk)
- xdg-utils (busking-gitAUR, xdg-utils-slockAUR, mimiAUR, mimi-gitAUR, openerAUR, mimejs-gitAUR, xdg-utils-mimeoAUR)
- unzip (unzip-zstdAUR, unzip_pAUR, unzip-natspecAUR) (make)