-
Notifications
You must be signed in to change notification settings - Fork 8
/
Copy pathdune-project
117 lines (107 loc) · 2.23 KB
/
dune-project
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
(lang dune 3.10)
(using menhir 2.1)
(using mdx 0.2)
(name smtml)
(generate_opam_files true)
(source
(github formalsec/smtml))
(authors
"João Pereira <[email protected]>"
"Filipe Marques <[email protected]>"
"Hichem Rami Ait El Hara <[email protected]>"
"Léo Andrès <[email protected]>"
"Arthur Carcano <[email protected]>"
"Pierre Chambart <[email protected]>"
"José Fragoso Santos <[email protected]>")
(maintainers "Filipe Marques <[email protected]>")
(documentation "https://formalsec.github.io/smtml/smtml/index.html")
(license "MIT")
(package
(name smtml)
(synopsis "An SMT solver frontend for OCaml")
(description "Smt.ml is an SMT solver frontend for OCaml that simplifies \
integration with various solvers through a consistent interface. \
Its parametric encoding facilitates the easy addition of new \
solver backends, while optimisations like formula simplification, \
result caching, and detailed error feedback enhance performance \
and usability.")
; Optional solver dependencies
; Change here sould be mirrored in "conflicts"
(depopts
alt-ergo-lib
bitwuzla-cxx
colibri2
cvc5
z3)
(conflicts
(bitwuzla-cxx
(< "0.6.0"))
(z3
(or
(< "4.12.2")
(>= "4.14"))))
(depends
bos
(cmdliner
(>= "1.2.0"))
dune
(dolmen
(= "0.10"))
(dolmen_type
(= "0.10"))
(dolmen_model
(= "0.10"))
(fmt
(>= "0.8.7"))
fpath
(hc
(>= "0.3"))
(menhir
(and
:build
(>= "20220210")))
(ocaml
(>= "4.14.0"))
ocaml_intrinsics
(patricia-tree
(>= "0.10.0"))
(prelude
(>= "0.5"))
rusage
(scfg
(>= "0.5"))
(yojson
(>= "1.6.0"))
(zarith
(>= "1.5"))
;; Doc dependencies
(odoc
:with-doc)
(sherlodoc
:with-doc)
;; Test dependencies
(bisect_ppx
(and
:with-test
(>= "2.5.0")))
;; Dev dependencies
(benchpress
(and
:with-dev-setup
(= "dev")))
(cohttp
:with-dev-setup)
(cohttp-lwt-unix
:with-dev-setup)
(core_unix
:with-dev-setup)
(dune-glob
:with-dev-setup)
(lwt
:with-dev-setup)
(mdx
:with-test)
(owl
:with-dev-setup)
(tls-lwt
:with-dev-setup)))