package minisat

  1. Overview
  2. Docs
Bindings to Minisat-C-1.14.1, with the solver included

Install

Dune Dependency

github.com Readme BSD-2-clause License Edit opam file Versions (6)

Authors

  1. S
    simon.cruanes.2007@m4x.org

Maintainers

  1. S
    simon.cruanes.2007@m4x.org

Sources

v0.4.tar.gz
md5=a17f04229fcba9f454b3499386f35d5e
sha512=e05d49ea0f6b8379c61795f20331b930daba0cb1dde8eb5c0a2810e18d43b997252af5f97fffbf427b890f982ca09b195b8591648bb702e819a191ce13cdee46

Description

Tags

minisat solver SAT

Published: 08 Jun 2021

README

Minisat

Bindings to Minisat-C-1.14.1, with the solver included.

Docs

See https://c-cube.github.io/ocaml-minisat/

Dependencies (2)

  1. dune >= "1.0"
  2. ocaml >= "4.03"

Dev Dependencies (1)

  1. odoc with-doc

Conflicts

None

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct