this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "andy.ray@ujamjar.com"
3authors: "andy.ray@ujamjar.com"
4homepage: "https://github.com/ujamjar/sattools"
5dev-repo: "git+https://github.com/ujamjar/sattools.git"
6bug-reports: "https://github.com/ujamjar/sattools/issues"
7build: [ [make "build"] ]
8depends: [
9 "ocaml" {>= "4.01.0"}
10 "ocamlfind" {build}
11 "ocamlbuild" {build}
12 "topkg" {build}
13 "base-bytes"
14 "base-unix"
15 "ctypes-foreign"
16 "ctypes"
17 "astring"
18]
19synopsis:
20 "Ctypes and DIMACs interfaces to minisat, picosat and cryptominisat"
21url {
22 src: "https://github.com/ujamjar/sattools/archive/v0.1.0.tar.gz"
23 checksum: [
24 "sha256=b41ca2833e5666279e999f319801272d434049c1ccf23e0a30ab278493238b4d"
25 "md5=3f1f15d5a738ce95c92214a71c532620"
26 ]
27}