Package Details: ofmc-bin 2018-1

Git Clone URL: https://aur.archlinux.org/ofmc-bin.git (read-only, click to copy)
Package Base: ofmc-bin
Description: Open-Source Fixed-Point Model-Checker
Upstream URL: http://www.imm.dtu.dk/~samo/
Licenses: BSD
Conflicts: ofmc
Provides: ofmc
Submitter: crwxrws
Maintainer: crwxrws
Last Packager: crwxrws
Votes: 0
Popularity: 0.000000
First Submitted: 2019-10-10 00:50 (UTC)
Last Updated: 2019-10-10 00:50 (UTC)

Dependencies (2)

Required by (1)

Sources (1)