package minisat

  1. Overview
  2. Docs
Bindings to the SAT solver Minisat, 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

minisat-0.6.tbz
sha256=e407a60be9c495d449be8a0ad955941ac1639515bad19fdbacd4a15d5aaf6605
sha512=17a5eafd2afb2cb3e829a0b7eb32c14de5ebeeaed12ecfc4f58410c9b582918595c6c31facbbda126e9fd394d3846e14f961cab529d41ac82b0775930246e5fa

Description

Tags

minisat solver SAT

Published: 14 Jun 2023

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 >= "2.0"
  2. ocaml >= "4.03"

Dev Dependencies (2)

  1. containers >= "3.6" & with-test
  2. 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