Package Details: ofmcgui r7.efd86ae-2

Git Clone URL: https://aur.archlinux.org/ofmcgui.git (read-only)
Package Base: ofmcgui
Description: A graphical interface for the Open-Source Fixed-Point Model-Checker (OFMC)
Upstream URL: https://github.com/ulfur88/OFMCGUI
Licenses: BSD
Submitter: crwxrws
Maintainer: crwxrws
Last Packager: crwxrws
Votes: 0
Popularity: 0.000000
First Submitted: 2019-10-10 00:54
Last Updated: 2019-10-10 19:42