Flatpak support for prism

3 views
Skip to first unread message

Antonello

unread,
Sep 30, 2025, 4:25:03 PMSep 30
to PRISM model checker
Hi, 
I wrote a simple flatpak manifest to allow using prism on any linux machine without worrying about dependencies, currently targets version 4.9. 
It seems to work well for now, I've been using to run my uni projects.
Idk if there is a better place to put this or if it would make sense to make a pr on github, I'm open to suggestions.

(It's a bit messy but it works :) )

Hope this helps other linux users and looking forward to hearing any feedback!
Reply all
Reply to author
Forward
0 new messages