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.5.tar.gz
md5=ae4a6feb34787f8814671af796e8cf5b
sha512=41c6c4ba2149a1afed90c7e55122dfe7239fba7221d649152549f42285b887d0cd62ac434d76eac58527b635afa4adc9d1c183cbd921eb6f927baa76371559eb

Description

Tags

minisat solver SAT

Published: 06 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 >= "1.0"
  2. ocaml >= "4.03"

Dev Dependencies (1)

  1. odoc with-doc

Conflicts

None