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.3.tar.gz
md5=f680652b0414d00c406c6f2a6ae4dc8f
sha512=9ca23af313b1111d38b84b2169b326d288616cdb43295ce9fe1178b74d9b5950019558653ecdd85847f246e9df120c8a43ac09d90bef41d0097466ac7cddca4b

Description

Tags

minisat solver SAT

Published: 15 Nov 2019

README

README.adoc

= Minisat

image:https://travis-ci.org/c-cube/ocaml-minisat.svg?branch=master["Build Status", link="https://travis-ci.org/c-cube/ocaml-minisat"]
image:https://ci.appveyor.com/api/projects/status/t0g07849v8j2lmwc?svg=true["Appveyor", link="https://ci.appveyor.com/project/c-cube/ocaml-minisat"]

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

== Docs

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

Dependencies (1)

  1. dune >= "1.0"

Dev Dependencies (1)

  1. odoc with-doc

Conflicts

None