Skip to content
Permalink
Fetching contributors…
Cannot retrieve contributors at this time
93 lines (75 sloc) 2.09 KB
opam-version: "2.0"
name: "alt-ergo-free"
version: "2.0.0"
maintainer: "alt-ergo@ocamlpro.com"
authors: "Alt-Ergo developers"
license: "Apache Software License version 2.0"
homepage: "http://alt-ergo.ocamlpro.com/"
bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
build:
[
["autoconf"]
["./configure" "-prefix" "%{prefix}%"]
[make]
]
install:
[
[make "install" "MANDIR=%{man}%"]
]
remove: [
["autoconf"]
["./configure" "-prefix" "%{prefix}%"]
[make "uninstall" "MANDIR=%{man}%"]
]
depends: [
"ocaml" {>= "4.04.0"}
"num"
"zarith"
"camlzip" {< "1.08"}
"ocplib-simplex" {>= "0.4"}
"menhir"
"conf-autoconf" {build}
]
depopts: [
"lablgtk"
"conf-gtksourceview"
]
conflicts: [
"alt-ergo"
"altgr-ergo"
"satML-plugin"
"profiler-plugin"
"fm-simplex-plugin"
]
patches:[
"makefile.user_replace_echo_by_printf.patch"
"patch_for_changes_in_num_library.patch"
]
synopsis: "Alt-Ergo, an SMT Solver for Software Verification"
description: """
Alt-Ergo is an automatic prover of mathematical formulas used behind software verification tools such as Frama-C, SPARK, Why3, Atelier-B and Caveat.
Usage of the command-line:
```alt-ergo [options] <file.why>```
Usage of the GUI:
```altgr-ergo [options] <file.why>```
Usage of the satML plugin; an alternative SAT solver based on miniSAT:
```alt-ergo -sat-plugin satML-plugin.cmxs [other-options] <file.why>```
Usage of the FM-Simplex plugin, an alternative to Fourier-Motzkin algorithm for linear integer arithmetic
```alt-ergo -inequalities-plugin fm-simplex-plugin.cmxs [other-options] <file.why>```
Usage of the command-line with FPA reasoning:
```alt-ergo -use-fpa -prelude fpa-theory-2017-01-04-16h00.why [other-options] <file.why>```"""
extra-files: [
[
"patch_for_changes_in_num_library.patch"
"md5=ebb6d9ec5f99895f2b2b32dfbe56b9d3"
]
[
"makefile.user_replace_echo_by_printf.patch"
"md5=e2243201666098c1c2fc8a844ff53266"
]
]
url {
src:
"http://alt-ergo.ocamlpro.com/http/alt-ergo-free-2.0.0/alt-ergo-free-2.0.0.tar.gz"
checksum: "md5=e390c96bcac7c54a5949ad36611412ef"
}
You can’t perform that action at this time.