Package Details: divine 3.3.2-1

Git Clone URL: https://aur.archlinux.org/divine.git (read-only, click to copy)
Package Base: divine
Description: Explicit-state model checker
Upstream URL: http://divine.fi.muni.cz
Licenses: custom:BSD3
Submitter: mgrabovsky
Maintainer: mgrabovsky
Last Packager: mgrabovsky
Votes: 0
Popularity: 0.000000
First Submitted: 2016-03-22 14:25 (UTC)
Last Updated: 2016-03-23 14:06 (UTC)

Dependencies (11)

Required by (0)

Sources (1)