this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: ["guillaume.bury@gmail.com" "simon.cruanes@inria.fr"]
3authors: [
4 "Sylvain Conchon"
5 "Alain Mebsout"
6 "Stephane Lecuyer"
7 "Simon Cruanes"
8 "Guillaume Bury"
9]
10homepage: "https://github.com/Gbury/mSAT"
11bug-reports: "https://github.com/Gbury/mSAT/issues/"
12license: "Apache-1.0+"
13tags: ["sat" "smt"]
14dev-repo: "git+https://github.com/Gbury/mSAT.git"
15build: [
16 [make "disable_log"]
17 [make "lib"]
18]
19install: [make "install"]
20remove: ["ocamlfind" "remove" "msat"]
21depends: [
22 "ocaml" {>= "4.00.1" & < "5.0.0"}
23 "ocamlfind" {build}
24 "ocamlbuild" {build}
25]
26synopsis: "Modular sat/smt solver"
27description: """
28This library provides functor to easily build a SAT, SMT and/or McSAT solver given an implementation of terms. Current features of the solver are:
29- proof output
30- push/pop operations
31- CNF transformation tools
32
33This project derives from [Alt-Ergo Zero](http://cubicle.lri.fr/alt-ergo-zero), but does not provide any built-in theories, it is designed to let the users use their own implementation of terms and theories."""
34flags: light-uninstall
35url {
36 src: "https://github.com/Gbury/mSAT/archive/v0.4.1.tar.gz"
37 checksum: [
38 "sha256=6788d8a3bb15414b716ae7c3f59c75aff0df9b6b9c1c8534aa2355696b11ff0b"
39 "md5=e5a09e49d9bc9f5358af94c84e53a822"
40 ]
41}