Package Details: alt-ergo 1.01-1

Git Clone URL: (read-only)
Package Base: alt-ergo
Description: SMT solver for software verification
Upstream URL:
Keywords: sat-solver smt-solver
Licenses: custom:CeCILL-C
Submitter: mgrabovsky
Maintainer: kaptoxic
Last Packager: mgrabovsky
Votes: 1
Popularity: 0.000000
First Submitted: 2016-03-23 18:59
Last Updated: 2016-03-23 18:59

Dependencies (3)

Required by (1)

Sources (1)

Latest Comments

mgrabovsky commented on 2016-12-31 17:12

@IooNag: Sorry, I'm having some trouble compiling the latest version right now.

IooNag commented on 2016-12-31 11:54

alt-ergo version 1.01 is no longer available on . The package needs to be updated to version 1.30.
Moreover could you please add the version number to the downloaded archive, for example by using this line do define "source"?