opam-version: "2.0"
synopsis: "OCaml bindings for batsat, a SAT solver in rust"
maintainer: "simon.cruanes.2007@m4x.org"
build: [
  ["dune" "build" "-p" name "-j" jobs]
  ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
]
# TODO: add dependency on cargo?
depends: [
  "ocaml" { >= "4.06.0" }
  "dune" {>= "1.3.0" }
  "odoc" {with-doc}
  "conf-rust-2018" {build}
]
tags: [ "minisat" "solver" "SAT" ]
homepage: "https://github.com/c-cube/batsat-ocaml/"
dev-repo: "git+https://github.com/c-cube/batsat-ocaml.git"
bug-reports: "https://github.com/c-cube/batsat-ocaml/issues"
authors: "simon.cruanes.2007@m4x.org"
url {
  src: "https://github.com/c-cube/batsat-ocaml/archive/0.4.tar.gz"
  checksum: [
    "md5=120605f7eb26f5af7430906783107a69"
    "sha512=36d1a9d6e8302d43049094c33103bcca71f575908406315f3830c9595dfb5053d6a79034344200d53276e4e8db9bf386d693594ca4eb51a31399152cc8c6bdf8"
  ]
}
