this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Mickaël Delahaye <mickael.delahaye@gmail.com>"
3authors: "Mickaël Delahaye <mickael.delahaye@gmail.com>"
4homepage: "http://micdel.fr/ocamlyices2.html"
5bug-reports: "https://github.com/polazarus/ocamlyices2/issues"
6license: ["ISC" "non-commercial use"]
7dev-repo: "git+https://github.com/maelvalais/ocamlyices2.git"
8build: [
9 ["./configure" "--prefix=%{prefix}%"]
10 [make]
11]
12install: [make "install"]
13remove: ["ocamlfind" "remove" "yices2"]
14depends: [
15 "ocaml" {< "5.2"}
16 "ocamlfind" {build}
17 "conf-gmp" {build}
18 "zarith"
19]
20post-messages: [
21 "
22OCamlYices2 is free (BSD-like) but Yices is not!
23**Yices is free [only] for non-commercial use**
24License terms: http://yices.csl.sri.com/yices-newnewlicense.html
25 "
26 {success}
27]
28synopsis: "Yices2 SMT solver binding"
29description: """
30Yices is a Satisfiability Modulo Theories (SMT) solver from SRI.
31It is available freely for non-commercial purposes.
32License terms: http://yices.csl.sri.com/yices-newnewlicense.html"""
33flags: light-uninstall
34url {
35 src: "https://github.com/maelvalais/ocamlyices2/archive/v0.0.3.tar.gz"
36 checksum: [
37 "sha256=2f9dfc5da61e56f49d450132325da21e1081dbde4a95a62735694e2ccd9c2b3a"
38 "md5=520065f7d81db571aacbc0e8ea3a63c7"
39 ]
40}