algaroba.opam

# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "0.1"
depends: [
  "ocaml" {>= "4.12"}
  "z3" {>= "4.8"}
  "ppx_deriving" {>= "5.2"}
  "dune" {>= "3.7" & >= "3.7"}
  "core" {>= "v0.15.1"}
  "ppx_let" {>= "v0.16.0"}
  "smtlib-utils" {>= "0.5"}
  "landmarks-ppx" {>= "1.4"}
  "ocamlgraph" {>= "2.0.0"}
  "containers" {>= "3.12"}
  "ounit2" {>= "2.2.7"}
  "ocamlformat" {>= "0.26.0"}
  "odoc" {with-doc}
]
build: [
  ["dune" "subst"] {dev}
  [
    "dune"
    "build"
    "-p"
    name
    "-j"
    jobs
    "@install"
    "@runtest" {with-test}
    "@doc" {with-doc}
  ]
]