opam-version: "2.0"
maintainer: "andy.ray@ujamjar.com"
authors: "andy.ray@ujamjar.com"
homepage: "https://github.com/ujamjar/sattools"
dev-repo: "git+https://github.com/ujamjar/sattools.git"
bug-reports: "https://github.com/ujamjar/sattools/issues"
build: [ [make "build"] ]
depends: [
  "ocaml" {>= "4.01.0"}
  "ocamlfind" {build}
  "ocamlbuild" {build}
  "topkg" {build}
  "base-bytes"
  "base-unix"
  "ctypes-foreign"
  "ctypes"
  "astring"
]
synopsis:
  "Ctypes and DIMACs interfaces to minisat, picosat and cryptominisat"
url {
  src: "https://github.com/ujamjar/sattools/archive/v0.1.0.tar.gz"
  checksum: [
    "sha256=b41ca2833e5666279e999f319801272d434049c1ccf23e0a30ab278493238b4d"
    "md5=3f1f15d5a738ce95c92214a71c532620"
  ]
}