this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "SMT solver for AUFBVFP (C++ API)"
3description: """
4
5OCaml binding for the SMT solver Bitwuzla C++ API.
6
7Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”."""
8maintainer: ["Frédéric Recoules <frederic.recoules@cea.fr>"]
9authors: ["Frédéric Recoules"]
10license: "MIT"
11tags: ["SMT solver" "AUFBVFP"]
12homepage: "https://bitwuzla.github.io"
13doc: "https://bitwuzla.github.io/docs/ocaml/"
14bug-reports: "https://github.com/bitwuzla/ocaml-bitwuzla/issues"
15depends: [
16 "dune" {>= "3.7"}
17 "ocaml" {>= "4.12" & < "5.0~"}
18 "conf-git" {build}
19 "conf-gcc" {build}
20 "conf-g++" {build}
21 "zarith"
22 "ppx_inline_test" {with-test & >= "v0.13"}
23 "ppx_expect" {with-test & >= "v0.13"}
24 "odoc" {with-doc}
25]
26conflicts: [
27 "bitwuzla-c"
28 "bitwuzla" {< "0.1"}
29]
30build: [
31 ["dune" "subst"] {dev}
32 [
33 "dune"
34 "build"
35 "-p"
36 name
37 "-j"
38 jobs
39 "@install"
40 "@runtest" {with-test}
41 "@doc" {with-doc}
42 ]
43]
44dev-repo: "git+https://github.com/bitwuzla/ocaml-bitwuzla.git"
45available: [ os = "linux" & (os-distribution != "ol" & os-distribution != "centos" | os-version >= 8) | os = "macos" & os-distribution = "homebrew" ]
46url {
47 src:
48 "https://github.com/bitwuzla/ocaml-bitwuzla/releases/download/0.2.0/bitwuzla-cxx-0.2.0.tbz"
49 checksum: [
50 "sha256=26950e1f1247a755c1a410a4709e06ba42d6a73a6a90d2a7d29a2e0088e95603"
51 "sha512=a700abb74be74b24eefe282207803f3a35c36ddd52d0fe0bfb7225f8149d02afaa063431adba054307a52f451af00f07c5c525ba6b09255aae8f0bbf4da2e5a3"
52 ]
53}
54x-commit-hash: "f40b7c00bcc0ee2c9c17a6d6367073d4f3485ea4"