Package Details: alt-ergo 1.01-1

Git Clone URL: https://aur.archlinux.org/alt-ergo.git (read-only)
Package Base: alt-ergo
Description: SMT solver for software verification
Upstream URL: https://alt-ergo.ocamlpro.com
Licenses: custom:CeCILL-C
Submitter: mgrabovsky
Maintainer: mgrabovsky
Last Packager: mgrabovsky
Votes: 1
Popularity: 0.066195
First Submitted: 2016-03-23 18:59
Last Updated: 2016-03-23 18:59

Dependencies (3)

Required by (0)

Sources (1)