2 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
ofmcgui r7.efd86ae-2 0 0.00 A graphical interface for the Open-Source Fixed-Point Model-Checker (OFMC) crwxrws 2019-10-10 19:42 (UTC)
ofmc-bin 2018-1 0 0.00 Open-Source Fixed-Point Model-Checker crwxrws 2019-10-10 00:50 (UTC)

2 packages found. Page 1 of 1.