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 [make "doc"] {with-doc}
19]
20install: [make "DOCDIR=%{doc}%" "install"]
21remove: [make "DOCDIR=%{doc}%" "uninstall"]
22depends: [
23 "ocaml" {>= "4.00.1" & < "5.0.0"}
24 "ocamlfind" {build}
25 "ocamlbuild" {build}
26]
27synopsis: "Modular sat/smt solver"
28description: """
29This library provides functor to easily build a SAT, SMT and/or McSAT solver given an implementation of terms. Current features of the solver are:
30- proof output
31- push/pop operations
32- CNF transformation tools
33
34This 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."""
35url {
36 src: "https://github.com/gbury/msat/archive/v0.6.1.tar.gz"
37 checksum: [
38 "sha256=37c91fb94e3e85c607f8bbf14f388f48527da795bf5308a5a54acdb7637b067c"
39 "md5=1415cd7d2a2ccd04c630900b161199b0"
40 ]
41}