opam on Github

ocaml-sat-solversversion
0.8 (latest)

An abstraction layer for integrating SAT Solvers into OCaml

An abstraction layer for integrating SAT Solvers into OCaml.

AuthorsOliver Friedmann and Martin Lange
LicenseBSD-3-clause
Published
Homepagehttps://github.com/tcsprojects/ocaml-sat-solvers
Issue Trackerhttps://github.com/tcsprojects/ocaml-sat-solvers/issues
MaintainersOliver Friedmann and Martin Lange
Dependencies
Source [http] https://github.com/tcsprojects/ocaml-sat-solvers/releases/download/v0.8/ocaml-sat-solvers-0.8.tbz
sha256=d5e5f3b98eabaeb8dd106fd79e425ee28f7301c52f7d35453b5f99233720a4e5
sha512=caa023cfd102edf0b36d36a9ac2e8a8154491ec68973cae00e8fb4ea19cb22b02634119a5c92110ce03cfea196771afe987f734f7efd7eb0bc21fd96855935fc
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/ocaml-sat-solvers/ocaml-sat-solvers.0.8/opam
Required by
Generated using opam2web, courtesy of OCamlPro. Commercial support.