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: "https://www.irit.fr/touist"
5bug-reports: "https://github.com/touist/touist/issues"
6license: "MIT"
7dev-repo: "git+https://github.com/touist/touist.git"
8build: [
9 ["jbuilder" "subst" "-p" name] {dev}
10 ["jbuilder" "build" "-p" name "-j" jobs]
11 ["jbuilder" "runtest" "-p" name "-j" jobs] {with-test}
12 ["jbuilder" "build" "@doc" "-j" jobs] {with-doc}
13]
14depends: [
15 "ocaml" {>= "4.02.3"}
16 "jbuilder" {>= "1.0+beta12"}
17 "menhir" {>= "20151023"}
18 "minisat" {< "0.6"}
19 "re"
20 "cmdliner" {>= "0.9.8"}
21 "ounit" {with-test & < "2.2.6"}
22 "odoc" {with-doc}
23]
24depopts: ["qbf" "yices2"]
25conflicts: [
26 "qbf" {< "0.1"}
27 "yices2" {< "0.0.2"}
28]
29post-messages: [
30 "To install more solvers, see 'opam info touist'" {success}
31 "Built without yices2 (SMT solver)" {success & !yices2:installed}
32 "Built without qbf (QBF solver)" {success & !qbf:installed}
33 "Built with yices2 (SMT solver). See 'opam info touist' for license."
34 {success & yices2:installed}
35 "Built with qbf (QBF solver)" {success & qbf:installed}
36]
37synopsis: "The solver for the Touist language"
38description: """
39The Touist language is a friendly language for writing propositional
40logic (SAT), logic on real and integers (SMT) and quantified boolean
41formulas (QBF). This language aims to formalize real-life problems
42(e.g., the sudoku can be solved in a few lines). Touist embeds a SAT
43solver (minisat) and can be built with optionnal SMT and QBF solvers.
44Touist is also able to generate the latex, DIMACS, SMT-LIB and QDIMACS
45formats from a touist file.
46
47Optionnal solvers:
48- for using Yices2 (--smt --solve), run `opam install yices2`
49- for using Quantor (--qbf --solve), run `opam install qbf`"""
50url {
51 src: "https://github.com/touist/touist/archive/v3.5.0.tar.gz"
52 checksum: [
53 "sha256=859a4428ced26ed38615a606138c02ec63541cd34cf94a37b3e35d5bf46d40c4"
54 "md5=c09dd1cda8aff444889d1374636c810b"
55 ]
56}