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: [make "lib"]
16install: [make "install"]
17remove: ["ocamlfind" "remove" "msat"]
18depends: [
19 "ocaml" {>= "4.02.1" & < "5.0.0"}
20 "ocamlfind" {build}
21 "base-unix"
22 "ocamlbuild" {build}
23]
24synopsis: "Modular sat/smt solver"
25description: """
26First release of the modular SAT solver mSAT.
27
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.1.tar.gz"
37 checksum: [
38 "sha256=335c02054be0b16d2f225a4039c235d40a148aabd26602df4efd17cd1bbff5a2"
39 "md5=a53d54ab305a5ccbfbfcbf6474f50fb2"
40 ]
41}