opam-version: "2.0"
synopsis: "A Clp domain"
description:
  "Represents non relational properties of signed or unsigned bitvectors."
maintainer: ["Ian Smith"]
authors: ["Ian Smith"]
homepage: "https://github.com/2over12/clp_operations"
bug-reports: "https://github.com/2over12/clp_operations/issues"
depends: [
  "dune" {>= "2.9"}
  "bap"
  "oseq"
  "core_kernel"
  "zarith"
  "ounit2" {with-test}
  "qcheck" {with-test}
  "odoc" {with-doc}
]
build: [
  ["dune" "subst" "--root" "."] {dev}
  [
    "dune"
    "build"
    "-p"
    name
    "-j"
    jobs
    "--promote-install-files"
    "false"
    "@install"
    "@runtest" {with-test}
    "@doc" {with-doc}
  ]
  ["dune" "install" "-p" name "--create-install-files" name]
]
dev-repo: "git+https://github.com/2over12/clp_operations.git"
url {
  src:
    "https://github.com/2over12/clp_operations/releases/download/0.0.1/clp_operations-0.0.1.tbz"
  checksum: [
    "sha256=ab3507410f32b2775a6c9392551c7bd0f5b7631a76cf37dd42067d7752d3a711"
    "sha512=dea45bf55b7fbe1bc960d0cade9cae3c8dce0762956627bcbd7a6c91fd6290bc95758a39158a0848db43610be63747b6bc9d87f2f4e2183d31494073425a1410"
  ]
}
x-commit-hash: "41823a8a2cd1fe4aee4044a2436574329f4c569d"