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>"
4 "Olivier Lezaud" ]
5license: "MIT"
6homepage: "http://touist.github.io"
7dev-repo: "git+https://github.com/touist/touist.git"
8bug-reports: "https://github.com/touist/touist/issues"
9build: [
10 ["ocaml" "setup.ml" "-configure" "--prefix" prefix]
11 ["ocaml" "setup.ml" "-build"]
12 ["ocaml" "setup.ml" "-configure" "--enable-tests"] {with-test}
13 ["ocaml" "setup.ml" "-build"] {with-test}
14 ["ocaml" "setup.ml" "-test"] {with-test}
15 ["ocaml" "setup.ml" "-doc"] {with-doc}
16]
17install: ["ocaml" "setup.ml" "-install"]
18remove: [
19 ["ocaml" "%{etc}%/touist/setup.ml" "-C" "%{etc}%/touist" "-uninstall"]
20]
21depends: [
22 "ocaml" {>= "4.01.0" & < "5.0.0"}
23 "fileutils" {build & >= "0.4.0"}
24 "menhir" {build & >= "20150118"}
25 "minisat" {build & < "0.6"}
26 "ocamlbuild" {build}
27 "ocamlfind" {build}
28 "ounit" {with-test & < "2.2.6"}
29]
30synopsis: "The solver for the Touist language"
31description: """
32The Touist language is a friendly language for writing propositional
33logic and logic on real and integers (SMT). This language aims to
34formalize real-life problems (e.g., the sudoku can be solved in a few
35lines). Touist embeds the minisat solver (for propositional logic) and
36(coming soon) the SMT2 solver. It can also generate the DIMACS, SMT2
37and latex formats from you touist file."""
38url {
39 src: "https://github.com/touist/touist/archive/v3.0.0.tar.gz"
40 checksum: [
41 "sha256=11783a0b5fd2a8c7b6a66542faeaad38f38206a2ff3e09c574049ae067b448d8"
42 "md5=d4e29a5160b1ae0132fbb41ca0e47888"
43 ]
44}