Juppaal
Java API for working with UPPAAL model files
Install / Use
/learn @ksluckow/JuppaalREADME
JUppaal 
Java API for working with UPPAAL model files.
Allows to create UPPAAL Timed Automata models programmatically in Java. The library also supports loading UPPAAL models and manipulating them
Installation
JUppaal is shipped with a Maven build file. To build and install it, simply execute
$ gradle build
Authors
- Thomas Bøgholm
- Kasper Luckow
Related Skills
node-connect
348.5kDiagnose OpenClaw node connection and pairing failures for Android, iOS, and macOS companion apps
frontend-design
109.1kCreate distinctive, production-grade frontend interfaces with high design quality. Use this skill when the user asks to build web components, pages, or applications. Generates creative, polished code that avoids generic AI aesthetics.
openai-whisper-api
348.5kTranscribe audio via OpenAI Audio Transcriptions API (Whisper).
qqbot-media
348.5kQQBot 富媒体收发能力。使用 <qqmedia> 标签，系统根据文件扩展名自动识别类型（图片/语音/视频/文件）。
