this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Maël Valais <mael.valais@gmail.com>"
3authors: ["Maël Valais <mael.valais@gmail.com>" "Olivier Lezaud"]
4homepage: "http://touist.github.io"
5bug-reports: "https://github.com/touist/touist/issues"
6license: "MIT"
7dev-repo: "git+https://github.com/touist/touist.git"
8build: [
9 [
10 "ocaml"
11 "setup.ml"
12 "-configure"
13 "--prefix"
14 prefix
15 "--%{yices2:enable}%-yices2"
16 ]
17 ["ocaml" "setup.ml" "-build"]
18 [
19 "ocaml"
20 "setup.ml"
21 "-configure"
22 "--enable-tests"
23 "--%{yices2:enable}%-yices2"
24 ] {with-test}
25 ["ocaml" "setup.ml" "-build"] {with-test}
26 ["ocaml" "setup.ml" "-test"] {with-test}
27 ["ocaml" "setup.ml" "-doc"] {with-doc}
28]
29install: ["ocaml" "setup.ml" "-install"]
30remove: [
31 "ocaml" "%{etc}%/touist/setup.ml" "-C" "%{etc}%/touist" "-uninstall"
32]
33depends: [
34 "ocaml" {>= "4.01.0" & < "5.0.0"}
35 "cppo" {build}
36 "cppo_ocamlbuild" {build}
37 "fileutils" {build & >= "0.4.0"}
38 "menhir" {build & >= "20151023"}
39 "minisat" {build & < "0.6"}
40 "ocamlbuild" {build}
41 "ocamlfind" {build}
42 "ounit" {with-test & < "2.2.6"}
43]
44depopts: "yices2"
45conflicts: [
46 "yices2" {< "0.0.2"}
47]
48post-messages: [
49 "
50Touist built without yices2 support.
51To enable the SMT solver (yices2), please install yices2 with the command:
52 opam install yices2
53 "
54 {success & !yices2:installed}
55 "
56Touist built with yices2 support.
57**Yices2 is free [only] for non-commercial use**
58License terms: http://yices.csl.sri.com/yices-newnewlicense.html
59 "
60 {success & yices2:installed}
61]
62synopsis: "The solver for the Touist language"
63description: """
64The Touist language is a friendly language for writing propositional
65logic and logic on real and integers (SMT). This language aims to
66formalize real-life problems (e.g., the sudoku can be solved in a few
67lines). Touist embeds the minisat solver (for propositional logic) and
68the yices2 solver (optional, for SMT logic). It can also generate the
69DIMACS, SMT2 and latex formats from you touist file. To use the SMT
70solver, install yices2 with
71
72 opam install yices2"""
73url {
74 src: "https://github.com/touist/touist/archive/v3.1.0.tar.gz"
75 checksum: [
76 "sha256=1357ca4927260b64f12d2b823e1629ef4669d51992df1bb31d2bd8f6e4207c4f"
77 "md5=b8dd0572f84baaf7eb1f191f0bb9a208"
78 ]
79}