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