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.tar.gz"
37 checksum: [
38 "sha256=8078190001553c7d0835285a19bd993f9633296ec1c65958eec5a068060a7512"
39 "md5=ad6ece0c03c9b7db7cef22fbe57da626"
40 ]
41}